A testable model for stoppable clock ASICS | IEEE Conference Publication | IEEE Xplore