2017年7月20日

leaf cell

摘要: leaf cell是否可以理解为设计中与或非门等这些基本的单元? 阅读全文

posted @ 2017-07-20 16:27 yiyedada 阅读(802) 评论(0) 推荐(0)

Makefile的问题

摘要: 注意包含路径的变量,可能会带有空格而使得运行失败 直接定义:DEBUG = false后面引用需要使用 $(DEBUG) 或者set DEBUG $(DEBUG)之后就可以直接引用了 阅读全文

posted @ 2017-07-20 15:08 yiyedada 阅读(91) 评论(0) 推荐(0)

.vsdc和.svf用于formal verification tools

摘要: svf:Setup Verification for Formality 阅读全文

posted @ 2017-07-20 09:29 yiyedada 阅读(586) 评论(0) 推荐(0)

导航