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)

导航