related documents Level oriented formal model for asynchronous circuit verification and its efficient analysis method Conference Proceeding Partial order reduction for timed circuit verification based on level oriented model Conference Proceeding