Sangam Home
→
Electronic Theses and Dissertations (ETDs)
→
Electronic Theses and Dissertations (ETDs) of IIT-Delhi
→
View Item

A practical framework for formal verification of high level synthesizers

Subraya, B.M.

URI: http://localhost:8080/xmlui/handle/CUHPOERS/285722

Show full item record

Files in this item

Files	Size	Format	View
TH-2184.pdf	332.6Kb	application/pdf	View/Open

This item appears in the following Collection(s)

Electronic Theses and Dissertations (ETDs) of IIT-Delhi [1705]
Indian Institute of Technology (IIT), Delhi

Search DSpace

Advanced Search

Browse

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