请输入要查询的图书：

查询 可以输入图书全称，关键词或ISBN号

A Practical Guide for SystemVerilog Assertions

ISBN：9780387260495

SystemVerilog language consists of three very specific areas of constructs -- design, assertions an...

A Practical Guide for SystemVerilog Assertions

---

System Verilog Assertions应用指南

ISBN：9787302134411

本书的写作方式可以使工程师快速掌握System Verilog断言。第0、1和2章，可以使您充分了解基础语法和一些通用的模拟技巧。阅读完这三章，读者应该能在他们的设计/验证环境中写断言。 ...

System Verilog Assertions 应用 指南

---

Manful Assertions

ISBN：9780415053228

...

Manful Assertions

---

The Art of Verification with SystemVerilog Assertions

ISBN：9780971199415

...

The Art of Verification with SystemVerilog Assertions

---

SystemVerilog Assertions Handbook

ISBN：9780970539472

...

SystemVerilog Assertions Handbook

---

Misconduct Claims and Defenses Against Assertions of Patent Infringement

ISBN：9780195337204

This book is designed to serve as the first comprehensive review of conduct defenses and countercla...

Misconduct Claims and Defenses Against Assertions of Patent Infringement

---