Research

RISC-V

...

RISC-V related approaches spanning from virtual prototypes to gate level

Learn more

SystemC

...

Approaches for IEEE SystemC, the language for system-level design

Learn more

Waveform Analysis Language (WAL)

...

A programming language for complex waveform analysis and EDA tool development

Learn more

Symbolic Computer Algebra (SCA)

...

Formal verification of hard arithmetic circuits using SCA

Learn more

Research Interests

Research Websites/GitHub Projects of the Institute