翻译手册|Conformal工具手册-（001）

lizechen · 发表于 2019-10-29 00:06:05

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

本帖最后由 lizechen 于 2019-10-29 00:10 编辑

大家好，我是一位前端验证工程师，但是最近正好在做EQ验证，刚刚好弄到了一个Conformal工具的资源，其中就包含手册。心血来潮，打算翻一下这个手册。目的有二：
1. 锻炼自己的英语水平，基类词汇
2. 学习如何更好的使用工具，也是给自己的学习做个笔记留个脚印

作为一个新人，初学者，肯定有很多不成熟的地方，望各位前辈达人能够予以斧正，感激不尽！

同时我也在这里附上手册原版，感兴趣的同学可以下载，象征性1资产，这样目的有二：
1. 是避免养成不劳而获的习惯
2. 是统计下载此资源的人数

Conformal_Ref.pdf (3.76 MB, 下载次数: 409 )

Conformal_User.pdf (3.68 MB, 下载次数: 440 )

另外补充说明：1. 本手册来自Conformal工具15.2
2. 你可以在工具的安装目录下的doc目录找到该文档

关于Conformal工具是个啥，如果你用到了，自然不必我说，如果用不到，说了也白说。就不赘述了。

那么现在进入正题，开始进入Conformal_User.pdf的翻译。
Conformal等价性检查工具（不如说形式化验证工具。）
PS：conformal在专业词典里面有电子学的翻译为 "共形的"，"适形"，即两者形状是否一致之意。

接下来翻译的内容是目录（15.2版本）：手册英文目录共19页。。。不在这里赘述过多内容，具体内容请看具体章节。
目录：

关于本手册
关于Conformal等价性检查工具的介绍
如何开始;（入门指南）
使用图形用户界面（GUI）
命令行特征
管理规则检查
使用setup模式
使用lec模式
除错
解决aborts(中断)
执行层次比较
先进的功能
布局和示意图
Conformal自定义
Conformal ECO设计者的功能和方法学
FPGA功能和处理流程
对Vhdl的支持
对verilog的支持
对Systemverilog的支持
Conformal测试样例
顶层IO端口建模
Conformal基本门电路类型

那么今天的内容就到这里了。晚安！

dcircuit · 发表于 2019-10-29 20:41:26

thanks for share

neilsu · 发表于 2019-11-3 23:00:28

thanks for share

magzzhu · 发表于 2020-12-7 15:48:29

thank for sharing

茄酱 · 发表于 2021-1-14 17:50:38

3q vvvv

areslee · 发表于 2021-2-2 11:43:16

谢谢分享！

Somniator · 发表于 2021-2-3 16:22:19

Thank you for sharing !!!

(still looking for VCS-MX and Spyglass)
somniator@protonmail.com

keenforce001 · 发表于 2021-4-20 08:38:46

thanks for your sharing

rvisk · 发表于 2021-5-17 13:46:57

人才啊~非常赞

Jesin · 发表于 2021-6-4 16:04:41

thanks for share

[原创] 翻译手册|Conformal工具手册-（001）

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

站长推荐 /2