Mixed-Signal Systems-on-Chip Design Verification With Automatic Real-Number Abstraction Author(s): Nancy Qiu, Frank Yang, and Himadri De Download
