Real Number Modeling Enables Fast, Accurate Functional Verification

Author(s):
Wes Queen, Tom Cole, and Dan Romaine