1 电子书 Indradeep Ghosh
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
€75.21