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
→
Browsing Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits by Subject

Browsing Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits by Subject "FORMAL VERIFICATION"

Now showing items 1-1 of 1

Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits

Mitra, Srobona (IIT Kharagpur, 2013-06)

Now showing items 1-1 of 1

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Login