Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata (Q115722290)
Jump to navigation
Jump to search
scientific article published in 2012
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata |
scientific article published in 2012 |
Statements
Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata (English)
1 reference
Paula Herber
1 reference
November 2012
1 reference
54
1 reference
6
1 reference
296-300
1 reference