形式验证

标题	作者	回复/查看	最后发表
IC设计免费讲座之模拟篇 7月24日晚. 模拟集成电路设计实战提高班(第三期)8月13日开班 1 2 3 4 5 6	ic.wang 2007-10-29	171 / 7790	2008-7-23 16:42 by ic.wang
推荐：华清远见FPGA新版教材隆重上市！ 1 2 3 4 5 6 .. 9	bj-farsight 2008-3-7	262 / 6815	2008-7-23 10:35 by yhj123
【报名+进展】SoC同好会 - OS移植初步完成 - 继续欢迎新人参加 1 2 3 4 5 6 .. 7	kobegpfan 2008-3-14	200 / 17967	2008-7-21 22:28 by shanchao

版块主题
关于验证的一些书籍(1)-[Stuart_Sutherland]SystemVerilog_for_Design	david0915 2008-5-31	16 / 113	2008-7-22 12:08 by webzilla
Formality中的问题，不知道有没有人遇到过	yeyewowo 2008-6-25	1 / 20	2008-7-21 14:36 by rico_deng
soc asic设计验证和测试方法学.part1	redapple 2008-7-15	5 / 16	2008-7-19 23:07 by jjchen21
formality问题,牛魔王献身	jankyhan1981 2008-7-9	2 / 33	2008-7-14 21:27 by yeyewowo
请问formality里面match和verify分别做写什么工作?	edwin512 2008-6-15	2 / 39	2008-7-13 09:42 by 03050913
想学形式验证的同学进来下载！	cdp1111111111 2008-5-7	22 / 191	2008-7-4 11:45 by likeshow
formality死机	心海的一滴泪 2008-6-12	2 / 22	2008-6-26 14:39 by irina
请问一个formality的SVF导入问题	sirc 2008-6-19	3 / 31	2008-6-24 00:01 by anserman
RTL 和GATE NETLIST 比较棘手的问题,请教高手~~~~~~~~~~~~~~~~	alice8806 2008-5-23	8 / 107	2008-6-18 19:19 by 心海的一滴泪
正在做formality很多概念不太清楚~	hushiqing 2008-6-13	1 / 50	2008-6-18 19:12 by zhongshu_liang
报告说complex	心海的一滴泪 2008-6-15	3 / 31	2008-6-17 08:28 by anserman
formality 求救，急！！！！！！！！！！！！！！	sharkluo1981 2008-6-12	5 / 55	2008-6-16 10:04 by anserman
请问tutorial里面的一个问题	yangbay8 2008-6-13	1 / 12	2008-6-13 21:52 by rico_deng
请教个RTL与netlist之间形式验证的问题	peng_1983 2008-4-15	6 / 140	2008-6-12 17:34 by drizzle
SVF设置问题，知道的进来看看	yeyewowo 2008-5-28	1 / 34	2008-6-12 16:29 by veri_ict
谁有RTL和GATE比FORMALITY 的script?	alice8806 2008-5-25	1 / 36	2008-5-28 16:24 by yeyewowo
NL 和 NL formal verification fail	zhongshu_liang 2008-5-7	1 / 30	2008-5-21 22:13 by jiancongwoo
关于形式验证的问题	haoning128 2008-4-7	7 / 108	2008-5-20 16:02 by azuresnake
请教一个在实际项目中遇到的Umatch跟Failed的问题。	jiancongwoo 2008-5-19	0 / 38	2008-5-19 13:37 by jiancongwoo
请教Design Ware的验证	yefan22 2008-4-24	4 / 61	2008-5-19 11:00 by zhongshu_liang
最近做FORMALITY遇到的问题	jery_cn 2008-3-18	6 / 144	2008-5-16 19:42 by jiancongwoo
形式验证失败报告请教	dingx 2008-3-12	7 / 116	2008-5-9 10:46 by dingx
formal verification学习资料的推荐书	yanpeace 2008-4-6	4 / 118	2008-5-6 06:26 by doudouwu
关于formality安装	grass110119 2008-3-24	3 / 38	2008-4-25 09:52 by sunterry
compile_ultra综合引起formality不通过的问题	yushu81 2008-2-27	9 / 129	2008-4-24 23:22 by yefan22
Formality: retime matching 问题	yushu81 2008-2-29	4 / 63	2008-4-24 23:20 by yefan22
unmatched 问题请教	鬼精灵 2008-4-17	4 / 59	2008-4-24 23:17 by yefan22
如何编写testbench	lzhqiang 2008-1-9	5 / 90	2008-3-6 18:06 by bluebaby0302
formality out of memory	ys82 2008-1-9	4 / 56	2008-3-6 17:59 by bluebaby0302
想学形式验证，咋办	renconghui 2008-1-19	2 / 82	2008-3-6 17:57 by bluebaby0302
求synopsys FM 和 DFT的 WORkshop	reset_n 2008-1-24	1 / 66	2008-1-29 15:31 by chencheng
用什么命令设置2个pin equivalent	anserman 2007-12-10	1 / 58	2008-1-21 11:48 by qingshui
谁有关于Formality入门的东西？	lanyiel 2008-1-8	1 / 59	2008-1-20 16:04 by renconghui
从synopsy网站上找到的文章，关于常量触发器，	ys82 2008-1-16	2 / 61	2008-1-20 16:00 by renconghui
求助啊？	dake1025 2007-11-21	3 / 54	2008-1-19 12:20 by mpegdrc
也来个script``不吝指教!	dtkxhwc 2007-11-19	7 / 142	2008-1-17 10:55 by hitten
formality交流。。。	dake1025 2007-11-16	2 / 106	2008-1-8 23:41 by lanyiel
DC综合的时候把常量register优化掉了,fv 不过??	ys82 2007-11-16	13 / 164	2008-1-8 23:35 by lanyiel
形式验证有什么用?	abccdd 2007-11-8	3 / 134	2007-12-13 09:34 by hapetis
如何在conformal里读入两个filelist	real_ddt 2007-11-1	2 / 62	2007-12-11 21:30 by adonics
ForamlCheck????	dake1025 2007-11-8	2 / 49	2007-11-15 10:25 by dake1025
请教版主及各位大虾关于Formality的疑问	Wenf.Yeh 2007-10-17	3 / 92	2007-11-14 09:51 by dake1025
加门控时钟后如何做验证	abccdd 2007-10-26	3 / 109	2007-11-13 22:17 by rvisk
请教在formality作verification后,unread pointer 怎么查看?	fish_yu 2007-10-30	4 / 70	2007-11-13 17:53 by dake1025
网表中cell 类型不一样	liveindream 2007-10-27	1 / 27	2007-11-5 20:29 by songw
综合后网表不匹配	hanxy 2007-9-12	5 / 116	2007-11-5 20:25 by songw
关于black_box	ys82 2007-10-19	2 / 73	2007-10-26 12:45 by ys82

142 12 3 ››

有新回复

无新回复

热门主题

关闭主题