QED and Symbolic QED
Dramatic Improvements in Pre-Silicon Verification and Post-Silicon Validation
Edición de la obra QED and Symbolic QED
| Autor | Keerthikumara Devarajegowda, Florian Lonsing, Mohammad R. Fadiheh, Saranyu Chattopadhyay, David Lin |
|---|---|
| Editorial | Now Publishers |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| Páginas | 180 |
| ISBN-13 | 9781638289982 |
| Número de Cutter |