IDR - IIT Kharagpur
Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits
Login
IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits
Mitra, Srobona
URI:
http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/2079
Date:
2013-06
Show full item record
Files in this item
Name:
NB14805_Thesis.pdf
Size:
2.156Mb
Format:
PDF
View/
Open
Name:
NB14805_Introduct ...
Size:
608.2Kb
Format:
PDF
View/
Open
Name:
NB14805_Content.pdf
Size:
448.6Kb
Format:
PDF
View/
Open
Name:
NB14805_Bibliogra ...
Size:
539.4Kb
Format:
PDF
View/
Open
Name:
NB14805_Abstract.pdf
Size:
420.4Kb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login