MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design
Pre-Synthesis PPA Estimation
Jul 21, 2023
WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification
Apr 22, 2023
An example conference paper
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum.
Jul 1, 2013