Skip to content
Institutional repository
Communities & Collections
Browse all items
Scientific publications
Open knowledge
Log In
imec Publications
Articles
Event-Based Verification of Synchronous, Globally Controlled, Logic Designs Against Signal Flow Graphs
Publication:
Event-Based Verification of Synchronous, Globally Controlled, Logic Designs Against Signal Flow Graphs
Copy permalink
Date
1994
Journal article
Simple item page
Full metadata
Statistics
Loading...
Loading...
Basic data
APA
Chicago
Harvard
IEEE
Basic data
APA
Chicago
Harvard
IEEE
Author(s)
Van Aelten, Filip
;
Allen, J.
;
Devadas, S.
Journal
IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems
Abstract
Description
Metrics
Views
1991
since deposited on 2021-09-29
1
last month
Acq. date: 2025-12-12
Citations
Metrics
Views
1991
since deposited on 2021-09-29
1
last month
Acq. date: 2025-12-12
Citations