自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(5)
  • 收藏
  • 关注

原创 Logic Synthesis And Verification Algorithms Gary D. Hachtel & Fabio Somenzi 第十二章

eda auto test generation

2022-06-28 22:26:13 286 1

原创 Logic Synthesis And Verification Algorithms Gary D. Hachtel & Fabio Somenzi 第十一章

EDA multilevel logic Don't care set

2022-06-16 22:17:59 288

原创 Logic Synthesis And Verification Algorithms Gary D. Hachtel & Fabio Somenzi 第十章

multilevel logic的建模,factoring,优化。。。

2022-06-13 17:05:01 572

原创 Logic Synthesis And Verification Algorithms Gary D. Hachtel & Fabio Somenzi 第九章

Chapter 9 Finite Automata9.1 Finite Automata and Regular Languages这一小节的内容是有限状态机和正则语言。其实很多讲解编译器的书籍都有相关的论述,而且都比本书更加严谨和通俗易懂。没什么难度,我就不详细讲解了。只是列出几个关键点NFA与DFA 闭包 string与tape的区别,一个有限,一个无限 正则表达式中的运算如*,|,+..都是作用于sting not tape9.2 DFA Synthesis主要有三步

2022-05-04 16:53:32 287

原创 Logic Synthesis And Verification Algorithms Gary D. Hachtel & Fabio Somenzi 第四章

EDA之逻辑综合

2022-04-06 00:05:25 340

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除