A methodology for hardware verification based on logic simulation. (English) Zbl 0809.94035
MSC:
94C12 | Fault detection; testing in circuits and networks |
68Q60 | Specification and verification (program logics, model checking, etc.) |
94C12 | Fault detection; testing in circuits and networks |
68Q60 | Specification and verification (program logics, model checking, etc.) |