数字电路的等效性检查：基础知识、原理、方法下载（249 页） 电子书下载

原名:Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods Download (249 Pages)
作品简介:硬件验证是检查设计是否符合其功能和时序规范的过程。在当今的设计过程中，它变得越来越重要。超大规模集成（VLSI）电路和由此产生的数字系统几乎在……