RISC-V related approaches spanning from virtual prototypes to gate level
A programming language for complex waveform analysis and EDA tool development
Formal verification of hard arithmetic circuits using SCA