Estimating functional coverage in bounded model checking

Full Text:

Pdf

Buy this Article

Authors:	Daniel Große	University of Bremen, Bremen, Germany
	Ulrich Kühne	University of Bremen, Bremen, Germany
	Rolf Drechsler	University of Bremen, Bremen, Germany

Published in:

· Proceeding

DATE '07 Proceedings of the conference on Design, automation and test in Europe

EDA Consortium San Jose, CA, USA ©2007
table of contents ISBN: 978-3-9810801-2-4

	2007 Article
Bibliometrics
· Downloads (6 Weeks): 0 · Downloads (12 Months): 15 · Citation Count: 3

Tools and Resources