Research Interests
- Electronic Design Automation (EDA)
- Open Source EDA Tools
- Instruction Set Architecture RISC-V
- Modeling (SystemC, (System)Verilog, VHDL, Alternative HDLs)
- Virtual Prototpying, Transaction Level Modeling (TLM), Electronic System Level (ESL)
- Analog Mixed Signal (AMS)
- Simulation-based verification (UVM, Constrained Random Verification)
- Formal verification (Model Checking, Equivalence Checking, Symbolic Execution)
- Symbolic Computer Algebra (SCA)
- (Functional) coverage
- Debugging
- Approximate Computing
- Algorithms and data structures (SMT, SAT, BDDs)
- Emerging technologies
Research Websites/GitHub Projects of the Institute