Trace theory for automatic hierarchical verification of speed-independent circuits
Language: English Series: Publication details: ; Cambridge : MIT Press, 1989 ; 1989Edition: Description: 163 p; 22 cmISBN: 0-262-04101-49Subject(s): | Switching circuits | Integrated circuits-Very largescale integration | Sequential machine theoryItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IITB | 621.374.32:681.3 Dil | Available | G36A30 | 168265 |
Total holds: 0
There are no comments on this title.