A Methodology for the Formal Analysis of Asynchronous Micropipelines.

Antonio Cerone George J. Milne

Published in: FMCAD (2000)

Keyphrases

formal analysis
formal methods
design methodology
agent model
ban logic
machine learning
information systems
lightweight
building blocks
delay insensitive