设为首页收藏本站

在线咨询切换到宽版

eetop公众号

创芯大讲堂

创芯人才网

快捷导航

搜全文

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › IC验证 › IC验证讨论 › 在ic流程中怎么使用formal？

返回列表发新帖

查看: 3381|回复: 5

[求助] 在ic流程中怎么使用formal？

qmdong qmdong 当前离线积分 12969 IP卡狗仔卡	发表于 2014-3-3 23:21:08 \| 显示全部楼层 \|阅读模式
qmdong qmdong 当前离线积分 12969 IP卡狗仔卡	相关帖子 • 【AMD上海】招聘multimedia方面的设计以及验证工程师 • 【职业选择】IP 设计还是 SOC 顶层设计 • 【职业选择】IP物理实现还是 SOC顶层设计 • [内推急招]某大型国内知名芯片公司急招芯片前端、FPGA/Emulator、Formal验证等 • 作AMS混合信号仿真，总是报not a recognized formal port的错误 • 请好心人分享一个 questa formal，userguide也行 • formality sytemveirlogRTL/netlist的一个问题 • 谁能给分享个 Mentor 的questa formal • driver与sequencer连接求助 • multi-source CTS 时候，把clock gating cell 克隆了，formal 怎么过? 畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复使用道具举报提升卡沉默卡喧嚣卡变色卡

jacobshen jacobshen 当前离线积分 281872 IP卡狗仔卡	发表于 2014-3-4 09:31:55 \| 显示全部楼层
jacobshen jacobshen 当前离线积分 281872 IP卡狗仔卡	畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复支持反对使用道具举报

qmdong qmdong 当前离线积分 12969 IP卡狗仔卡	楼主\| 发表于 2014-3-4 22:44:52 \| 显示全部楼层
qmdong qmdong 当前离线积分 12969 IP卡狗仔卡
	回复支持反对使用道具举报

kuolifeng kuolifeng 当前离线积分 26165 IP卡狗仔卡	发表于 2014-3-5 12:23:17 \| 显示全部楼层
kuolifeng kuolifeng 当前离线积分 26165 IP卡狗仔卡
	回复支持反对使用道具举报

jab jab 当前离线积分 971 IP卡狗仔卡	发表于 2014-3-21 11:17:02 \| 显示全部楼层
jab jab 当前离线积分 971 IP卡狗仔卡	畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复支持反对使用道具举报

nativeda nativeda 当前离线积分 776 IP卡狗仔卡	发表于 2014-4-1 11:49:15 \| 显示全部楼层
nativeda nativeda 当前离线积分 776 IP卡狗仔卡
	回复支持反对使用道具举报

返回列表发新帖

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

GMT+8, 2026-1-12 05:06 , Processed in 0.046987 second(s), 7 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

快速回复 返回顶部 返回列表