Efficient and Exhaustive Floating Point Verification Using Sequential Equivalence Checking

Author(s):
Travis Pouarz and Vaibhav Agrawal
Location:
United States
Year:
2017
Type:
Presentation
Format:
pdf