Follow
Keerthikumara Devarajegowda
Keerthikumara Devarajegowda
Verified email at infineon.com
Title
Cited by
Cited by
Year
A machine learning approach for area prediction of hardware designs from abstract specifications
E Zennaro, L Servadei, K Devarajegowda, W Ecker
2018 21st Euromicro Conference on Digital System Design (DSD), 413-420, 2018
162018
Python based framework for HDSLs with an underlying formal semantics
K Devarajegowda, J Schreiner, R Findenig, W Ecker
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD …, 2017
132017
The extendable translating instruction set simulator (ETISS) interlinked with an MDA framework for fast RISC prototyping
D Mueller-Gritschneder, M Dittrich, M Greim, K Devarajegowda, W Ecker, ...
2017 International Symposium on Rapid System Prototyping (RSP), 79-84, 2017
132017
Meta-model based automation of properties for pre-silicon verification
K Devarajegowda, W Ecker
2018 IFIP/IEEE International Conference on Very Large Scale Integration …, 2018
122018
Gap-free Processor Verification by S2QED and Property Generation
K Devarajegowda, MR Fadiheh, E Singh, C Barrett, S Mitra, W Ecker, ...
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 526-531, 2020
112020
Embedded systems’ automation following omg’s model driven architecture vision
W Ecker, K Devarajegowda, M Werner, Z Han, L Servadei
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
112019
Formal verification methodology in an industrial setup
K Devarajegowda, L Servadei, Z Han, M Werner, W Ecker
2019 22nd Euromicro Conference on Digital System Design (DSD), 610-614, 2019
92019
Symbolic QED pre-silicon verification for automotive microcontroller cores: Industrial case study
E Singh, K Devarajegowda, S Simon, R Schnieder, K Ganesan, ...
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
92019
Towards a python-based one language ecosystem for embedded systems automation
Z Han, K Devarajegowda, M Werner, W Ecker
2019 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and …, 2019
72019
On generation of properties from specification
K Devarajegowda, W Ecker
2017 IEEE International High Level Design Validation and Test Workshop …, 2017
72017
Accurate cost estimation of memory systems utilizing machine learning and solutions from computer vision for design automation
L Servadei, E Mosca, E Zennaro, K Devarajegowda, M Werner, W Ecker, ...
IEEE Transactions on Computers 69 (6), 856-867, 2020
62020
Using machine learning for predicting area and firmware metrics of hardware designs from abstract specifications
L Servadei, E Zennaro, T Fritz, K Devarajegowda, W Ecker, R Wille
Microprocessors and Microsystems 71, 102853, 2019
62019
Accurate cost estimation of memory systems inspired by machine learning for computer vision
L Servadei, E Zennaro, K Devarajegowda, M Manzinger, W Ecker, R Wille
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
62019
How to keep 4-eyes principle in a design and property generation flow
K Devarajegowda, W Ecker, W Kunz
MBMV 2019; 22nd Workshop-Methods and Description Languages for Modelling and …, 2019
52019
Automated soc hardening with model transformation
VB Bavache, Z Han, H Hartlieb, E Kaja, K Devarajegowda, W Ecker
2020 17th Biennial Baltic Electronics Conference (BEC), 1-6, 2020
42020
Formal verification by the book: Error detection and correction codes
K Devarajegowda, V Hiltl, T Rabenalt, D Stoffel, W Kunz, W Ecker
Design and Verification Conference and Exhibition, 2020
32020
Increasing soft error resilience by software
M Werner, K Devarajegowda, M Chaari, W Ecker
2019 56th ACM/IEEE Design Automation Conference (DAC), 1-4, 2019
32019
Isa modeling with trace notation for context free property generation
K Devarajegowda, E Kaja, S Prebeck, W Ecker
2021 58th ACM/IEEE Design Automation Conference (DAC), 619-624, 2021
22021
IP-Coding Style Variants in a Multi-layer Generator Framework
Z Han, K Devarajegowda, A Neumeier, W Ecker
Design and Verification Conference and Exhibition (DVCon), 2020
22020
A Mutually-Exclusive Deployment of Formal and Simulation Techniques Using Proof-Core Analysis
K Devarajegowda, J Vliegen, K Fotouhi, G Petrovity
Proceedings of DVCON Europe, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20