![](https://img-blog.csdnimg.cn/20201014180756738.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
EDA
文章平均质量分 83
潘鸿洋
努力努力再努力
展开
-
《DOT文件编辑方法——论文图片最佳伙伴》
DOT(.dot)是开源工具Graphviz开发的语言,是一门用来画图的脚本语言,主要用来画各种结构示意图和流程图等原创 2022-11-01 20:50:03 · 1863 阅读 · 0 评论 -
Git入门全流程
Git的所有操作原创 2022-09-27 19:58:59 · 374 阅读 · 0 评论 -
《布尔可满足性问题SAT入门指南》
SAT是命题逻辑的决策问题,其中元素包括合适的命题公式、变量、逻辑运算符和括号。使用输入文件严格要求是CNF(conjunctive normal form,合取范式),最后确定公式是否具有令人满意的赋值(SAT)。原创 2022-09-26 20:52:09 · 2522 阅读 · 5 评论 -
《精确逻辑综合入门指导书》
随着算力的提升,逻辑优化越来越追求精确解而不满足于次优解。这里主要介绍了精确综合的算法、编码等方面。原创 2022-09-26 20:44:18 · 815 阅读 · 3 评论 -
《硬件仿真(Emulation)EDA工具前端设计流程》
基于FPGA的EDA工具(Emulation硬件仿真)开发全流程原创 2022-09-21 19:25:00 · 3882 阅读 · 7 评论