Login / Signup
Towards assertion-based verification of heterogeneous system designs.
Stefan Lämmermann
Jürgen Ruf
Thomas Kropf
Wolfgang Rosenstiel
Alexander Viehl
Alexander Jesser
Lars Hedrich
Published in:
DATE (2010)
Keyphrases
</>
model checking
real time
neural network
design principles
information retrieval
face verification
asynchronous circuits
search engine
decision making
relational databases
temporal logic
heterogeneous networks
signature verification
formal verification
person identification