scientific article
From MaRDI portal
Publication:4028336
zbMath0759.94022MaRDI QIDQ4028336
Scott F. Smith, Amy E. Zwarico
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
specificationcorrectness of specification ruleslarge asynchronous circuitspost hoc verification techniques
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Fault detection; testing in circuits and networks (94C12)
Related Items
An exercise in the automatic verification of asynchronous designs ⋮ Retargeting a hardware compiler using protocol converters
