Taking Real-Value Modeling to the next level: Power-aware verification of mixed-signal designs Author(s): Subin Thykkoottathil, Jakub Dudek, Nagesh Ranganath, Nimay Shah, and Santosh Singh Download