New advances in verification and debugging of hardware systems

Simple item page
dc.contributor.authorBhattacharjee, Debjyoti
dc.date.accessioned2016-07-20T16:13:26Z
dc.date.available2016-07-20T16:13:26Z
dc.date.issued2015
dc.descriptionDissertation under the supervision of Ansuman Banerjee, ACM Uniten_US
dc.identifier.citation62p.en_US
dc.identifier.urihttp://hdl.handle.net/10263/6472
dc.language.isoenen_US
dc.publisherIndian Statistical Institute, Kolkataen_US
dc.relation.ispartofseriesDissertation;15-315
dc.subjectLTLen_US
dc.subjectDebuggingen_US
dc.subjectBug localizationen_US
dc.subjectBug fix suggestionen_US
dc.titleNew advances in verification and debugging of hardware systemsen_US
dc.typeThesisen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
DISS-315.pdf
Size:
974.43 KB
Format:
Adobe Portable Document Format
Description:
Dissertation is the original PDF
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Dissertations - M Tech (CS)