| dc.contributor | Anshul Kumar | |
| dc.contributor | Shashi Kumar | |
| dc.creator | Subraya, B.M. | |
| dc.date | 2014-10-14T10:41:33Z | |
| dc.date | 2019-02-10T12:18:48Z | |
| dc.date | 2019-02-11T05:47:10Z | |
| dc.date | 2014-10-14T10:41:33Z | |
| dc.date | 2019-02-10T12:18:48Z | |
| dc.date | 2019-02-11T05:47:10Z | |
| dc.date | 1994 | |
| dc.date.accessioned | 2023-04-13T08:20:45Z | |
| dc.date.available | 2023-04-13T08:20:45Z | |
| dc.identifier | http://localhost:8080/iit/handle/2074/3298 | |
| dc.identifier.uri | http://localhost:8080/xmlui/handle/CUHPOERS/285722 | |
| dc.format | application/pdf | |
| dc.language | en | |
| dc.relation | TH-2184; | |
| dc.title | A practical framework for formal verification of high level synthesizers | |
| dc.type | Thesis |
| Files | Size | Format | View |
|---|---|---|---|
| TH-2184.pdf | 332.6Kb | application/pdf |
View/ |