Efficient power Intent validation using loosely-timed simulation models | IEEE Conference Publication | IEEE Xplore