- 博客(3)
- 收藏
- 关注
RSS订阅原创 Formality Tutorial ( 1 )
这个步骤主要涉及确保 Formality 正确安装并配置好环境变量，以及将教程提供的示例文件 (fifo.v 和 fifo.vg) 复制到指定的目录。这个步骤中会涉及到设置环境变量，例如设置 SYNOPSYS 环境变量以指向 DesignWare 库的路径。教程中虽然没有使用 SVF (Synopsys Verification Flow) 文件，但这一步解释了如何加载 SVF 文件，这对于在实际项目中处理经过 Design Compiler 等工具处理过的设计至关重要。
2024-12-15 21:24:11
655
原创 Conformal || Formality 双工具 Debug ：Ip Inout Pin 互联问题，做完 PR 无法比过
在 LEC 中，在 Non-corresponding Support 一栏，Revised 多了一个点，点开 Schematics 一看，Revised 里面，左边到右边，存在完整一条链条驱动到 bbox，而 Golden 的版本中，似乎断了，只能看到，包着 bbox 的 module 层级。（其中一端是常值1，我推测是表示单项传输的行为，因为我双击这个值为1的端口，它会直接连到A去，这时候会惊奇的发现，这就是A的同同一个pin，在bbox的左右两端呈现， 你可以理解为，A与B之间，模拟成通过这个。
2024-12-15 02:11:21
397
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人