Combining simulation and formal methods for systemlevel performance analysis (2006)

by S Künzli, F Poletti, L Benini, L Thiele
Venue:In Design, Automation and Test in Europe, 2006. DATE’06. Proceedings