Please use this identifier to cite or link to this item:
http://hdl.handle.net/10263/6472| Title: | New advances in verification and debugging of hardware systems |
| Authors: | Bhattacharjee, Debjyoti |
| Keywords: | LTL Debugging Bug localization Bug fix suggestion |
| Issue Date: | 2015 |
| Publisher: | Indian Statistical Institute, Kolkata |
| Citation: | 62p. |
| Series/Report no.: | Dissertation;15-315 |
| Description: | Dissertation under the supervision of Ansuman Banerjee, ACM Unit |
| URI: | http://hdl.handle.net/10263/6472 |
| Appears in Collections: | Dissertations - M Tech (CS) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| DISS-315.pdf | Dissertation is the original PDF | 974.43 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.