1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Inductive Reasoning in formal Verification of Hardware
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7672
Full metadata record
DC FieldValueLanguage
dc.contributor.authorChakrabarti, Indrajit
dc.date.accessioned2017-06-21T07:18:26Z
dc.date.available2017-06-21T07:18:26Z
dc.date.issued1995-10-01
dc.identifier.govdocNB11992
dc.identifier.govdocNB11993
dc.identifier.urihttp://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7672
dc.language.isoenen
dc.publisherIIT, Kharagpuren
dc.subjectInductive Reasoningen
dc.subjectDigital Systemsen
dc.subjectVLSIen
dc.subjectHardware Systemsen
dc.subjectVerification Testingen
dc.titleInductive Reasoning in formal Verification of Hardwareen
dc.typeThesisen
Appears in Collections:Inductive Reasoning in formal Verification of Hardware

Files in This Item:
File Description SizeFormat 
NB11993_Abstracts.pdf170.35 kBAdobe PDFThumbnail
View/Open
NB11993_Thesis.pdf
  Restricted Access		7.95 MBAdobe PDFView/Open Request a copy
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.