Taking RNM Model to the Next Level: Power-Aware Verification of Mixed-Signal Designs Author(s): Subin Thykkoottathil, Nagesh Ranganath, Santosh Singh, Jakub Dudek, and Nimay Shah Download