Login / Signup
System Level Design and Verification Using a Synchronous Language.
Gérard Berry
Michael Kishinevsky
Satnam Singh
Published in:
ICCAD (2003)
Keyphrases
</>
optimal design
formal verification
case study
design process
language learning
design principles
modeling language
functional verification
real time
asynchronous communication
formal methods
levels of abstraction
higher level
logic programs
artificial intelligence
data mining
data sets