Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata.

Published in: it Inf. Technol. (2012)

Keyphrases

timed automata
model checking
hw sw
reachability analysis
hardware software
temporal logic
design methodology
embedded systems
formal specification
hardware software partitioning
theorem prover
first order logic
formal methods
theorem proving
hardware and software
message passing
machine learning