Keerthikumara Devarajegowda

According to our database, Keerthikumara Devarajegowda authored at least 31 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Modelling Peripheral Designs using FSM-like Notation for Complete Property Set Generation.

Endri Kaja, Nicolas Gerlin, Robert Kunzelmann, Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the 16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2023

G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators.

Saranyu Chattopadhyay, Keerthikumara Devarajegowda, Bihan Zhao, Florian Lonsing, Brandon A. D'Agostino, Ioanna Vavelidou, Vijay Deep Bhatt, Sebastian Prebeck, Wolfgang Ecker, Caroline Trippel, Clark W. Barrett, Subhasish Mitra

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

MetFI: Model-driven Fault Simulation Framework.

Endri Kaja, Nicolas Gerlin, Luis Rivas, Monideep Bora, Keerthikumara Devarajegowda, Wolfgang Ecker

CoRR, 2022

Fast and Accurate Model-Driven FPGA-based System-Level Fault Emulation.

Endri Kaja, Nicolas Gerlin, Monideep Bora, Gabriel Rutsch, Keerthikumara Devarajegowda, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker

Proceedings of the 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, 2022

Design of a Tightly-Coupled RISC-V Physical Memory Protection Unit for Online Error Detection.

Nicolas Gerlin, Endri Kaja, Monideep Bora, Keerthikumara Devarajegowda, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker

Proceedings of the 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, 2022

A Scalable, Configurable and Programmable Vector Dot-Product Unit for Edge AI.

Sebastian Prebeck, Sathya Ashok, Mounika Vaddeboina, Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

MetaFS: Model-driven Fault Simulation Framework.

Endri Kaja, Nicolas Gerlin, Monideep Bora, Keerthikumara Devarajegowda, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2022

2021

Model-based Generation of Assertions for Pre-silicon Verification.

Keerthikumara Devarajegowda

PhD thesis, 2021

Aspect-Oriented Design Automation with Model Transformation.

Zhao Han, Deyan Wang, Gabriel Rutsch, Bowen Li, Sebastian Siegfried Prebeck, Daniela Sanchez Lopera, Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the 29th IFIP/IEEE International Conference on Very Large Scale Integration, 2021

Transformative Hardware Design Following the Model-Driven Architecture Vision.

Zhao Han, Gabriel Rutsch, Deyan Wang, Bowen Li, Sebastian Siegfried Prebeck, Daniela Sanchez Lopera, Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the VLSI-SoC: Technology Advancement on SoC Design, 2021

Extending Verilator to Enable Fault Simulation.

Endri Kaja, Nicolas Ojeda Leon, Michael Werner, Bogdan-Andrei Tabacaru, Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

On Self-Verifying DSL Generation for Embedded Systems Automation.

Zhao Han, Shahzaib Qazi, Michael Werner, Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

Towards Fault Simulation at Mixed Register-Transfer/Gate-Level Models.

Endri Kaja, Nicolas Gerlin, Mounika Vaddeboina, Luis Rivas, Sebastian Siegfried Prebeck, Zhao Han, Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2021

ISA Modeling with Trace Notation for Context Free Property Generation.

Keerthikumara Devarajegowda, Endri Kaja, Sebastian Siegfried Prebeck, Wolfgang Ecker

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation.

Lorenzo Servadei, Edoardo Mosca, Elena Zennaro, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker, Robert Wille

IEEE Trans. Computers, 2020

Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning.

Lorenzo Servadei, Edoardo Mosca, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker, Robert Wille

Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

Gap-free Processor Verification by S²QED and Property Generation.

Keerthikumara Devarajegowda, Mohammad Rahmani Fadiheh, Eshan Singh, Clark W. Barrett, Subhasish Mitra, Wolfgang Ecker, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications.

Lorenzo Servadei, Elena Zennaro, Tobias Fritz, Keerthikumara Devarajegowda, Wolfgang Ecker, Robert Wille

Microprocess. Microsystems, 2019

Towards a Python-Based One Language Ecosystem for Embedded Systems Automation.

Zhao Han, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker

Proceedings of the 2019 IEEE Nordic Circuits and Systems Conference, 2019

How to Keep 4-Eyes Principle in a Design and Property Generation Flow.

Keerthikumara Devarajegowda, Wolfgang Ecker, Wolfgang Kunz

Proceedings of the 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2019

Formal Verification Methodology in an Industrial Setup.

Lorenzo Servadei, Zhao Han, Michael Werner, Wolfgang Ecker, Keerthikumara Devarajegowda

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study.

Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision.

Lorenzo Servadei, Elena Zennaro, Keerthikumara Devarajegowda, Martin Manzinger, Wolfgang Ecker, Robert Wille

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Embedded Systems' Automation following OMG's Model Driven Architecture Vision.

Wolfgang Ecker, Keerthikumara Devarajegowda, Michael Werner, Zhao Han, Lorenzo Servadei

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Increasing Soft Error Resilience by Software Transformation.

Michael Werner, Keerthikumara Devarajegowda, Moomen Chaari, Wolfgang Ecker

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Meta-model Based Automation of Properties for Pre-Silicon Verification.

Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration, 2018

Quality Assessment of Generated Hardware Designs Using Statistical Analysis and Machine Learning.

Lorenzo Servadei, Elena Zennaro, Keerthikumara Devarajegowda, Wolfgang Ecker, Robert Wille

Proceedings of the 8th International Workshop on Combinations of Intelligent Methods and Applications co-located with 30th International Conference on Artificial Intelligence Tools (ICTAI 2018), 2018

A Machine Learning Approach for Area Prediction of Hardware Designs from Abstract Specifications.

Elena Zennaro, Lorenzo Servadei, Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

2017

The extendable translating instruction set simulator (ETISS) interlinked with an MDA framework for fast RISC prototyping.

Daniel Mueller-Gritschneder, Keerthikumara Devarajegowda, Martin Dittrich, Wolfgang Ecker, Marc Greim, Ulf Schlichtmann

Proceedings of the International Symposium on Rapid System Prototyping, 2017

Python based framework for HDSLs with an underlying formal semantics: (Invited paper).

Keerthikumara Devarajegowda, Johannes Schreiner, Rainer Findenig, Wolfgang Ecker

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

On generation of properties from specification.

Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the 2017 IEEE International High Level Design Validation and Test Workshop, 2017