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

Author(s):
Ravi Ram, Adam Elkins, Adnan Pratama, Sasa Stamenkovic, Sven Beyer, and Sergio Marchese
Location:
United States
Year:
2018
Type:
Presentation
Format:
pdf