Formal Verification of Floating-Point Hardware with Assertion-Based VIP

Ravi Ram, Adam Elkins, Adnan Pratama, Sasa Stamenkovic, Sven Beyer, and Sergio Marchese