Formal modeling and verification for pre-charge half buffer gates and circuits.

Ashiq A. Sakib Scott C. Smith Sudarshan K. Srinivasan

Published in: MWSCAS (2017)

Keyphrases

formal methods
logic circuits
high speed
formal models
asynchronous circuits
information systems
model checking
dynamic aspects
case study
database systems
expert systems
formal model
formal specification
delay insensitive