Structure-based deadlock checking of asynchronous circuits (Q2637261)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Structure-based deadlock checking of asynchronous circuits |
scientific article |
Statements
Structure-based deadlock checking of asynchronous circuits (English)
0 references
11 February 2014
0 references
asynchronous pipeline
0 references
data-driven
0 references
deadlock
0 references
verification
0 references
