Search Results - Devarajegowda, Keerthikumara

  • Showing 1 - 13 results of 13
Refine Results
  1. 1
    On generation of properties from specification

    On generation of properties from specification by Devarajegowda, Keerthikumara, Ecker, Wolfgang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation

    Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation by Servadei, Lorenzo, Mosca, Edoardo, Zennaro, Elena, Devarajegowda, Keerthikumara, Werner, Michael, Ecker, Wolfgang, Wille, Robert

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Embedded Systems' Automation following OMG's Model Driven Architecture Vision

    Embedded Systems' Automation following OMG's Model Driven Architecture Vision by Ecker, Wolfgang, Devarajegowda, Keerthikumara, Werner, Michael, Han, Zhao, Servadei, Lorenzo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications

    Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications by Servadei, Lorenzo, Zennaro, Elena, Fritz, Tobias, Devarajegowda, Keerthikumara, Ecker, Wolfgang, Wille, Robert

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision

    Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision by Servadei, Lorenzo, Zennaro, Elena, Devarajegowda, Keerthikumara, Manzinger, Martin, Ecker, Wolfgang, Wille, Robert

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study

    Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study by Singh, Eshan, Devarajegowda, Keerthikumara, Simon, Sebastian, Schnieder, Ralf, Ganesan, Karthik, Fadiheh, Mohammad, Stoffel, Dominik, Kunz, Wolfgang, Barrett, Clark, Ecker, Wolfgang, Mitra, Subhasish

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Gap-free Processor Verification by S2QED and Property Generation

    Gap-free Processor Verification by S2QED and Property Generation by Devarajegowda, Keerthikumara, Fadiheh, Mohammad Rahmani, Singh, Eshan, Barrett, Clark, Mitra, Subhasish, Ecker, Wolfgang, Stoffel, Dominik, Kunz, Wolfgang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    The Extendable Translating Instruction Set Simulator (ETISS) Interlinked with an MDA Framework for Fast RISC Prototyping

    The Extendable Translating Instruction Set Simulator (ETISS) Interlinked with an MDA Framework for Fast RISC Prototyping by Mueller-Gritschneder, Daniel, Dittrich, Martin, Greim, Marc, Devarajegowda, Keerthikumara, Ecker, Wolfgang, Schlichtmann, Ulf

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    MCU-Wide Timing Side Channels and Their Detection

    MCU-Wide Timing Side Channels and Their Detection by Müller, Johannes, Duque Antón, Anna Lena, Deutschmann, Lucas, Mehmedagić, Dino, Rodrigues, Cristiano, Oliveira, Daniel, Devarajegowda, Keerthikumara, Mohammad Rahmani Fadiheh, Pinto, Sandro, Stoffel, Dominik, Kunz, Wolfgang

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Python based framework for HDSLs with an underlying formal semantics: (Invited paper)

    Python based framework for HDSLs with an underlying formal semantics: (Invited paper) by Devarajegowda, Keerthikumara, Schreiner, Johannes, Findenig, Rainer, Ecker, Wolfgang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Automated SoC Hardening with Model Transformation

    Automated SoC Hardening with Model Transformation by Bavache, Varsha Bhupal, Han, Zhao, Hartlieb, Heimo, Kaja, Endri, Devarajegowda, Keerthikumara, Ecker, Wolfgang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    MetFI: Model-driven Fault Simulation Framework

    MetFI: Model-driven Fault Simulation Framework by Endri Kaja, Gerlin, Nicolas, Rivas, Luis, Bora, Monideep, Devarajegowda, Keerthikumara, Ecker, Wolfgang

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study

    Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study by Singh, Eshan, Devarajegowda, Keerthikumara, Simon, Sebastian, Schnieder, Ralf, Ganesan, Karthik, Fadiheh, Mohammad R, Stoffel, Dominik, Kunz, Wolfgang, Barrett, Clark, Ecker, Wolfgang, Mitra, Subhasish

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: