Practical design verification / edited by Dhiraj K. Pradhan, Ian G. Harris
Material type:
- 0521859727
- 9780521859721
- TK7874.58 .P73 2009
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | TK7874.58 .P73 2009 (Browse shelf(Opens below)) | Available | 1000256268 |
Browsing PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH shelves, Shelving location: Main Library General Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
TK7874.58 .L35 2005 Hardware design verification : simulation and formal method-based approaches / | TK7874.58 .P47 2005 Applied formal verification / | TK7874.58 .P59 2008 Functional verification coverage measurement and analysis / | TK7874.58 .P73 2009 Practical design verification / | TK7874.58 .W53 2008 Standardized functional verification / | TK7874.58 .Y63 2008 Verification of systems and circuits using LOTOS, Petri Nets, and CCS / | TK7874.6 .A52 1991 Analogue-digital ASICs : circuit techniques, design tools and applications / |
There are no comments on this title.
Log in to your account to post a comment.