Authors

Van Aelten, Filip; Allen, J.; Devadas, S.

Issue

1

Journal

IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems

Volume

13

Title

Event-Based Verification of Synchronous, Globally Controlled, Logic Designs Against Signal Flow Graphs

Publication type

Journal article