A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata
Ingenaaid — ISBN: 9783832525118
In this dissertation, we present a systematic, comprehensive, and formally founded quality assurance process, which allows automated co-verification o…
€ 57,03
Leverbaar