Functional verification methodology based on formal interface specification and transactor generation.

Felice Balarin Roberto Passerone

Published in: DATE (2006)

Keyphrases

functional verification
formal verification
formal specification
formal methods
formal language
formal model
design methodology
reactive systems
user interface
hardware software
image processing
case study
database systems
signal processing