A Formal Approach to MpSoC Performance Verification.

Kai Richter Marek Jersak Rolf Ernst

Published in: Computer (2003)

Keyphrases

formal methods
model checking
formal model
formal analysis
real time
decision making
face verification
asynchronous circuits
decision trees
case study
multiscale
formal specification
test generation
person identification