形式验证

标题	作者	回复/查看	最后发表
形式验证有什么用?	abccdd 2007-11-8	3 / 145	2007-12-13 09:34 by hapetis
如何在conformal里读入两个filelist	real_ddt 2007-11-1	2 / 68	2007-12-11 21:30 by adonics
ForamlCheck????	dake1025 2007-11-8	2 / 52	2007-11-15 10:25 by dake1025
请教版主及各位大虾关于Formality的疑问	Wenf.Yeh 2007-10-17	3 / 100	2007-11-14 09:51 by dake1025
加门控时钟后如何做验证	abccdd 2007-10-26	3 / 124	2007-11-13 22:17 by rvisk
请教在formality作verification后,unread pointer 怎么查看?	fish_yu 2007-10-30	4 / 84	2007-11-13 17:53 by dake1025
网表中cell 类型不一样	liveindream 2007-10-27	1 / 34	2007-11-5 20:29 by songw
综合后网表不匹配	hanxy 2007-9-12	5 / 124	2007-11-5 20:25 by songw
关于black_box	ys82 2007-10-19	2 / 90	2007-10-26 12:45 by ys82
Advanced_Formal_Verification_eBook - [售价 EDA元 2 元]	chinaqu 2007-8-21	7 / 206	2007-10-12 12:10 by zhaoxiaopo
各位达人:关于don't care 相关	LEON2006 2007-10-11	0 / 39	2007-10-11 12:32 by LEON2006
formality中遇到的问题	chinaxamouse 2007-7-26	4 / 210	2007-9-20 10:34 by chyzhj
FM中setup的问题，求助高手！	kiolia 2007-9-10	0 / 74	2007-9-10 14:11 by kiolia
请教	ynfqr 2007-9-10	0 / 18	2007-9-10 09:24 by ynfqr
求助：关于FM中出现的LOOP的问题！	chlor 2007-9-8	0 / 39	2007-9-8 14:19 by chlor
Sequential Equivalence Check Using Cuts	chinaqu 2007-8-15	2 / 91	2007-9-6 10:25 by chunzi_1984
求Synopsys Formality Workshop的ppt！	chlor 2007-7-15	6 / 369	2007-8-13 18:26 by lkj2003
请教：DC综合后网表不能通过Formality	hyjrichie 2007-6-6	2 / 267	2007-7-26 11:28 by chinaxamouse
请教：DC综合后网表不能通过Formality	hyjrichie 2007-6-6	8 / 359	2007-7-14 00:21 by luosonghui
!求Conformal 5.2 的L I C E N S E,哪位大虾发个！	lwwlww 2007-7-13	0 / 73	2007-7-13 15:11 by lwwlww
Formality问题紧急求助	lxddzq 2007-5-14	8 / 432	2007-7-12 21:11 by chlor
formal analysis是什么意思？	8891baba 2007-5-21	5 / 340	2007-7-11 21:09 by waLuxi
求助:如何判断形式验证通过	我是个新手 2007-6-13	6 / 275	2007-7-5 16:30 by ws_115
做形式验证时,读入工艺库时显示出错,如何解决?	青衫磊落 2007-5-12	3 / 226	2007-7-2 16:16 by zhangwang_100
求救^_^	Fancyswg 2007-6-28	0 / 72	2007-6-28 17:14 by Fancyswg
形式验证，欢迎下载学习 - [售价 EDA元 2 元]	rexsongran 2007-5-16	4 / 232	2007-6-22 16:36 by rfanddsp
综合后网表文件可以进行形式验证,但不能进行静态时序分析,求原因.	青衫磊落 2007-5-28	5 / 226	2007-6-13 22:05 by 流年飘飘
新手弱问：做formal verification有自动的工具吗？（请各位大侠赐教）	talent-jy 2007-4-23	15 / 517	2007-6-13 19:57 by chlor
[求助]如何使用formality验证ISE place&route后的结果	yuxiang.yang 2007-5-18	2 / 196	2007-6-6 18:02 by zhangwang_100
可综合的断言怎么写?断言可以用在形式验证中?	BOIS 2007-4-6	2 / 327	2007-6-3 03:06 by nightelf
形式验证相关资料,大家看看	wsg0415 2007-4-4	18 / 772	2007-5-29 14:40 by choplin
对形式验证的一些看法,以及大家一般用那家的工具?	BOIS 2007-4-6	7 / 438	2007-5-29 10:05 by hanxyz789
拜请请解释一下Design consistency和Design equality的含义和区别	青衫磊落 2007-5-23	0 / 115	2007-5-23 10:22 by 青衫磊落
cpu 验证流程高手指点	sober 2007-4-28	1 / 226	2007-5-12 01:02 by sweetjjzhu
奇怪: formality 里的 1'b1 变成 0	hipengan 2007-5-10	3 / 263	2007-5-11 10:15 by hipengan
英文专业杂志《软硬件系统设计前沿》 - Frontier Journal	summer99 2007-3-29	2 / 189	2007-4-24 14:50 by talent-jy
long runtime for match!	zhouchx 2007-3-20	2 / 204	2007-4-24 14:48 by talent-jy
How to enlarge the number of unmapped keypoint when doing remodel !	lionking_2046 2007-4-19	1 / 160	2007-4-23 22:27 by jery_cn123
问个弱问题:什么叫做VIP	8891baba 2007-2-2	7 / 437	2007-3-5 22:45 by nicowei
formality quick reference	bbcallzch 2007-2-13	1 / 412	2007-3-2 15:14 by systemc2000
关于做过DFT后的netlist如何做形式验证？	jjchen21 2007-2-12	1 / 346	2007-2-23 22:31 by scorpion
formality中，如何调入primitive	serena 2007-1-31	1 / 297	2007-2-4 13:38 by deodar_li
lec中组合逻辑怎样验证？	lionking_2046 2007-1-25	2 / 326	2007-1-29 11:55 by lionking_2046
版图设计原则 - [售价 EDA元 2 元]	longdi 2006-12-4	8 / 126	2007-1-23 16:11 by yyy_er
分析與設計數位電視調諧器UHF頻段LC濾波器之研究	feitian130 2006-12-3	3 / 302	2007-1-18 13:06 by wzl540
请求 Formality的入门资料，多谢了！	xinlei1001eda 2006-11-25	6 / 695	2007-1-10 17:51 by 嗨
[ebook/free]formal verification of software/heardware system	shangubujing 2006-12-21	7 / 436	2007-1-5 17:23 by jya
formality都是用来比较哪些东西呀	stylevhd 2006-11-5	6 / 543	2006-12-31 14:06 by buaa
请问形式验证的时候，有些points出现not mapped可能会是什么原因造成的呢	物证 2006-11-10	4 / 444	2006-12-12 15:23 by 物证
请教一下verplex报告中的关于mapped的几个问题	物证 2006-10-17	5 / 438	2006-10-30 15:16 by 物证

151 ‹‹123 4 ››

有新回复

无新回复

热门主题

关闭主题