Whether designing SOCs with traditional synchronous logic or alternative locally, or self-clocked “asynchronous” blocks, verification has become more important, difficult and time consuming, ...