Research

RISC-V

...

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

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