Inductive Reasoning in formal Verification of Hardware

dc.contributor.author	Chakrabarti, Indrajit
dc.date.accessioned	2017-06-21T07:18:26Z
dc.date.available	2017-06-21T07:18:26Z
dc.date.issued	1995-10-01
dc.identifier.govdoc	NB11992
dc.identifier.govdoc	NB11993
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7672
dc.language.iso	en	en
dc.publisher	IIT, Kharagpur	en
dc.subject	Inductive Reasoning	en
dc.subject	Digital Systems	en
dc.subject	VLSI	en
dc.subject	Hardware Systems	en
dc.subject	Verification Testing	en
dc.title	Inductive Reasoning in formal Verification of Hardware	en
dc.type	Thesis	en