Symbolic model checking of large sequential circuits (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2006Edition: Description: 39 p; 29 cmISBN: Subject(s): Chakraborty, Supratik | Theses and Dissertations | Symbolic circuit analysis-Data processing , Logic design-Data processing , Sequential processing (Computer science) , Integrated circuits-Very large scale integrationItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Theses and Dissertations | Central Library, IITB | 043:621.374.32:681.3Jos | Not for loan | D02B20 | 209420 |
Total holds: 0
There are no comments on this title.