Forbench: Symbolic Simulation Helps Make Your Testbench More Formal

Ziyi Yang, Wenbin Che, Ziyue Zheng +2

Simulation remains the dominant approach in pre-silicon verification due to its ease of deployment and intuitive workflow. However, as simulation only explores a limited subset of…