Formal and Semi - Formal Verification Methods with Constrained Random Testbenches

dc.contributor.author	Pal, Bhaskar
dc.date.accessioned	2013-04-01T12:47:19Z
dc.date.available	2013-04-01T12:47:19Z
dc.date.issued	2009-01
dc.identifier.govdoc	NB13862
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1780
dc.language.iso	en	en
dc.publisher	IIT Kharagpur	en
dc.subject	Testbenches	en
dc.title	Formal and Semi - Formal Verification Methods with Constrained Random Testbenches	en
dc.type	Thesis	en