在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 10650|回复: 44

[原创] 翻译手册|Conformal工具手册-(001)

[复制链接]
发表于 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, 下载次数: 506 )


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

另外补充说明: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基本门电路类型

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


发表于 2019-10-29 20:41:26 | 显示全部楼层
thanks for share
发表于 2019-11-3 23:00:28 | 显示全部楼层
thanks for share
发表于 2020-12-7 15:48:29 | 显示全部楼层
thank for sharing
发表于 2021-1-14 17:50:38 | 显示全部楼层
3q vvvv
发表于 2021-2-2 11:43:16 | 显示全部楼层
谢谢分享!
发表于 2021-2-3 16:22:19 | 显示全部楼层


Thank you for sharing !!!






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


发表于 2021-4-20 08:38:46 | 显示全部楼层
thanks for your sharing
发表于 2021-5-17 13:46:57 | 显示全部楼层
人才啊~非常赞
发表于 2021-6-4 16:04:41 | 显示全部楼层
thanks for share
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /2 下一条


小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-11-27 17:55 , Processed in 0.023588 second(s), 7 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表