版主: *空缺中*

VERA/Specman

标题	作者	回复/查看	最后发表
发现用E的不是很多？？？？？？	wxdshenzhen2006 2006-8-27	7 / 609	2006-10-13 13:16 by wwwhfeng
"The e hardware verification language"一书下载！ - [售价 EDA元 2 元]	veri_ict 2006-10-12	4 / 250	2006-10-12 14:49 by veri_ict
group for specman~	zuo_de 2006-9-14	4 / 582	2006-9-26 22:34 by zfaaqq
关于vera中的继承和多态	aimechen1982 2006-7-25	7 / 642	2006-9-22 17:16 by 银泪
start command in specman	yuanpin318 2006-7-14	5 / 615	2006-9-6 10:15 by dewatdawn
VERA的语言手册	zbq 2006-7-14	14 / 1264	2006-9-6 09:11 by rella009
vera的手册	zbq 2006-7-7	14 / 950	2006-9-2 21:44 by suyi889
关于VCS的ntb编译时间问题	braveplus 2006-7-21	8 / 666	2006-8-13 15:06 by braveplus
现在还在做代码覆盖率驱动的验证，是不是很没前途？	yifeier 2006-6-7	10 / 891	2006-8-6 13:36 by windshl
代码覆盖率为100% 为什么设计还会错	Elaine_xr 2006-6-17	17 / 1227	2006-8-6 00:12 by DACer
VERA的手册	zbq 2006-7-10	3 / 712	2006-7-27 13:34 by cysheng
怎么定义不同步的时钟?	zbq 2006-7-13	9 / 615	2006-7-20 16:26 by zbq
E 语言手册	yunmeng 2006-5-23	7 / 1168	2006-7-18 22:02 by 迷茫诗人
请问大家在实际项目中用specman的人多吗	shuhaijun 2006-5-16	10 / 857	2006-7-15 15:56 by adele
VERA和VCS连调的问题	real_ddt 2006-5-19	9 / 847	2006-7-15 10:55 by mm_zhou1983
我也在vera	zbq 2006-6-8	4 / 674	2006-7-10 16:47 by creepsheep
求救关于VERA的一个问题	xingyu.ping 2006-4-23	4 / 648	2006-6-21 09:05 by xmqyang
vera的user_guide	smallwildpig 2006-4-4	10 / 846	2006-6-2 09:28 by zbq
vera5.1.1是不是不支持关联数组	fighter212 2006-5-24	3 / 531	2006-5-25 09:02 by aimechen1982
刚开始学习vera，遇到一个问题	paolocheng 2006-5-15	9 / 812	2006-5-22 10:57 by fighter212
哪位有the art of verification with vera?	bywater 2005-12-17	5 / 840	2006-5-15 16:58 by pengfan
specman自学教材	yuanpin318 2005-10-10	10 / 1292	2006-5-12 19:24 by zhxflxy
specman Elite	hwliao66 2006-5-11	1 / 715	2006-5-12 08:44 by deve
vera入门资料还算经典	aimechen1982 2005-10-18	3 / 1823	2006-5-12 00:49 by dirbrother
自己翻译的VERA文档（部分）	real_ddt 2006-2-27	3 / 969	2006-4-30 23:50 by myxxyy
用VERA的或者会验证的，进来说句话。批判我对vera的理解	brotherjam 2006-2-16	29 / 2827	2006-4-29 15:49 by jasongeng
open-vera的经典培训资料	zhxflxy 2006-2-28	2 / 1128	2006-4-27 16:11 by big_yao
再发个vera的training和昨天的不同（献给所有需要它的兄弟和xlzhang版主）	yukimail 2005-10-23	3 / 924	2006-4-27 14:55 by maple79317
请问有不有介绍如何用vera写高效testbench的书	aimechen1982 2005-10-20	7 / 808	2006-4-26 12:21 by jzhang
如何学vera	htrong 2005-12-30	8 / 761	2006-4-23 17:20 by xingyu.ping
Vera的training包part1(很不错) - [售价 EDA元 1 元]	yukimail 2005-10-22	9 / 194	2006-4-23 10:31 by xingyu.ping
请问哪位大虾有openvera的教程，本人想学	kof9898 2006-2-24	2 / 497	2006-4-23 10:23 by xingyu.ping
vera中对ram初始化？	danpian 2006-3-17	6 / 558	2006-4-22 10:58 by ydragon
请教哪位大虾有关于vera的教程,我要去面试逻辑验证工程师	kof9898 2006-2-16	4 / 870	2006-4-19 15:26 by dirbrother
About vera!	rick7 2006-1-5	10 / 660	2006-4-18 09:21 by aimechen1982
vera的加法器例子	aimechen1982 2005-11-13	5 / 885	2006-4-7 15:01 by smallwildpig
整理了一些Vera资料，希望能对大家有所帮助	longgangtou 2006-3-23	7 / 941	2006-3-27 21:49 by longgangtou
VERA 验证 IP下载网站 - [售价 EDA元 1 元]	jiangjp730000 2005-12-1	5 / 120	2006-3-19 19:58 by dengyudan
求OPENVERA的PC版	real_ddt 2006-2-27	3 / 470	2006-3-19 15:00 by longgangtou
Synopsys的Vera教程	jinron10 2005-12-16	0 / 574	2005-12-16 11:53 by jinron10
vera testbench - [阅读权限 20]	zhxflxy 2005-12-14	0 / 44	2005-12-14 19:51 by zhxflxy
在Linux能装VCS, VERA吗?	accelerate 2005-12-2	9 / 713	2005-12-6 09:31 by accelerate
specman 和specman e的区别？	jcguo_1977 2005-11-4	4 / 613	2005-11-22 18:33 by wangchick
Synopsys 推出Vera 6.2 （不少大公司用Vera做功能验证－deve）	deve 2004-3-3	2 / 411	2005-10-30 20:49 by wlbuaa
vera学习交流 - [售价 EDA元 1 元]	zhxflxy 2005-10-21	1 / 38	2005-10-21 15:13 by aimechen1982
有水用过OpenVera的断言吗?	jzhang 2005-10-19	5 / 395	2005-10-20 21:57 by aimechen1982
关于e language(verisity specman)	benjaminsw 2005-7-1	2 / 414	2005-7-3 23:27 by richard2k
那位大侠用过Specman Elite？	laiyinhate 2005-4-14	0 / 303	2005-4-15 02:39 by laiyinhate
specman	isee 2004-9-10	2 / 292	2005-2-19 08:00 by nihaoma
验证工具specmanE！	hxjacky 2004-11-7	5 / 405	2004-11-13 00:54 by demonq

102 ‹‹123 ››

有新回复

无新回复

热门主题

关闭主题