Real Number Modeling Enables Fast, Accurate Functional Verification Author(s): Wes Queen, Tom Cole, and Dan Romaine Download