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

Van Aelten, FilipFilipVan AeltenAllen, J.J.AllenDevadas, S.S.Devadas2021-09-292021-09-291994https://imec-publications.be/handle/20.500.12860/384Event-Based Verification of Synchronous, Globally Controlled, Logic Designs Against Signal Flow GraphsJournal article