Image from Amazon.com
Symbolic simulation methods for industrial formal verification Robert B. Jones
Material type:
TextLanguage: English Publication details: Norwell Kluwer Academic Publishers 2002Description: xviii, 150 p. ; 23 cmISBN: - 9781402071034
- 621.395 JON
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
National Institute of Technology, Silchar | 621.395 JON (Browse shelf(Opens below)) | Available | 83537 |
Browsing National Institute of Technology, Silchar shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 621.395 HWA Digital logic and microprocessor design with VHDL | 621.395 HWA Digital logic and microprocessor design with VHDL | 621.395 / JAY Minimizing and exploiting leakage in VLSI design | 621.395 JON Symbolic simulation methods for industrial formal verification | 621.395 KAN CMOS digital integrated circuits: analysis and design | 621.395 KAN CMOS digital integrated circuits: analysis and design | 621.395 KAN CMOS digital integrated circuits: analysis and design |
Includes bibliographical references and index
N. E. Books, Silchar
There are no comments on this title.