[software] Petrify-4.2 Petrify is a tool for the synthesis of bounded Petri nets and logic synthesis of asynchronous controllers.Petrify initially performs a token flow analysis of the Petri net and produces a finite transition system (TS).In the initial TS, all t 语言: 其他 大小: 类型: tag: 上传人:32332 上传时间:2023-09-20 1 Digital Logic Design Using Verilog Verilog HDL方面的实用书,使用Verilog语言来设计数字电路。对Coding和Synthesis有很大帮助。 语言: 其他 大小: 类型: tag: 上传人:rtesd 上传时间:2023-09-20 0 Electronic Design Automation-synthesisverification and test 该书是电子设计自动化,综合,验证和测试的经典书籍之一。该书作者写得其他2本书籍也可以在我的资源里找到。适合在校大学生,研究所和博士生。希望对大家有帮助。 语言: 其他 大小: 类型: tag: 上传人:xiaoyang 上传时间:2023-09-11 0 Synthesis And Optimization Of Digital Circuit This new graduate textbook in computer engineering offers a modern, up-to-date look at computer aided design of VLSI circuits at the functional and logic level by addressing an interesting topic in CAD for digital circuits: design synthesis 语言: 其他 大小: 类型: tag: 上传人:pppxxx 上传时间:2023-09-10 3 4条