Efficient and Exhaustive Floating Point Verification Using Sequential Equivalence Checking

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