Waveform Analysis Language (WAL)
A programming language for complex waveform analysis and EDA tool development
Learn moreSymbolic Computer Algebra (SCA)
Formal verification of hard arithmetic circuits using SCA
Learn moreResearch 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
- Waveform Analysis Language (WAL): https://wal-lang.org and https://github.com/ics-jku/wal
- Formal RISC-V ISA model: https://github.com/ics-jku/epex-formal-rv32-model
- Open source RISC-V VP++: https://github.com/ics-jku/riscv-vp-plusplus
- RISC-V approaches: https://ics.jku.at/research/risc-v
- Virtual Prototyping/SystemC tools & verification: www.systemc-verification.org
- AMS verification: www.systemc-verification.org/ams
- Symbolic Computer Algebra: www.sca-verification.org
- Multiplier generator GenMul: www.sca-verification.org/genmul