Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems.

Pao-Ann Hsiung Shu-Yu Cheng

Published in: VLSI Design (2003)

Keyphrases

real time embedded systems
formal methods
asynchronous circuits
formal analysis
model checking
formal specification
formal verification
formal model
modular structure
machine learning
expert systems
face verification
signature verification
computer vision
case study
highly flexible