Efficient and Exhaustive Floating Point Verification Using Sequential Equivalence Checking Author(s): Travis Pouarz and Vaibhav Agrawal Type: Presentation Download
