作者: Mukul Prasad

支持

1 电子书 Mukul Prasad

Masahiro Fujita & Indradeep Ghosh: Verification Techniques for System-Level Design
This book will explain how to verify So C (Systems on Chip) logic designs using "formal and "semiformal verification techniques. The critical issue to be addressed is whether the functional …
PDF
英语
DRM
€76.10