注册
登录
标签
领取红包
帮助
收藏本版
|
我的话题
EDA专业论坛
»
芯片验证
» VERA/Specman
版主: *空缺中*
99
1
2
››
发新话题
发布投票
发布商品
发布悬赏
发布活动
发布辩论
发布视频
全部
精华
投票
商品
VERA/Specman
标题
作者
回复/查看
最后发表
IC设计免费讲座之模拟篇 7月24日晚. 模拟集成电路设计实战提高班(第三期)8月13日开班
1
2
3
4
5
6
ic.wang
2007-10-29
173
/
7902
2008-7-26 00:18
by
lqlqlq111
【报名+进展】SoC同好会 - OS移植初步完成 - 继续欢迎新人参加
1
2
3
4
5
6
..
7
kobegpfan
2008-3-14
203
/
18239
2008-7-25 21:14
by
51src3
推荐:华清远见FPGA新版教材隆重上市!
1
2
3
4
5
6
..
9
bj-farsight
2008-3-7
264
/
6918
2008-7-24 17:24
by
chenmeiyan
版块主题
specman 教程
ICSurfer
2008-7-21
0
/
8
2008-7-21 17:41
by
ICSurfer
太郁闷了,vera这么不好懂
dzt
2008-6-5
2
/
27
2008-7-19 12:31
by
feiying_cq
求vera的实例~~~
jackly
2008-5-25
3
/
21
2008-7-19 12:30
by
feiying_cq
谁有vera教程啊
dzt
2008-6-5
6
/
26
2008-7-3 14:46
by
creepsheep
vera的东东太少了吧
dzt
2008-6-21
0
/
9
2008-6-21 00:32
by
dzt
最近也在搞vera
dzt
2008-6-5
0
/
7
2008-6-5 23:06
by
dzt
求Vera培训教程的Lab guide,谢谢!
bukey
2008-5-19
0
/
11
2008-5-19 15:47
by
bukey
vera程序和c程序之间如何传递参数?
miler
2008-3-14
3
/
45
2008-4-5 19:10
by
gubo1
经典教材 Writing Testbench
drink1
2008-1-29
4
/
102
2008-3-13 08:25
by
07111276
哎!貌似验证部没有什么人气啊:
drink1
2008-1-29
2
/
70
2008-3-4 00:53
by
justfordown
vera出错,求助
qiu-zq
2007-11-26
7
/
76
2008-1-22 00:10
by
zhangguo1286
谁能把关于vera的资料给罗列一下啊
zhangguo1286
2008-1-21
1
/
52
2008-1-21 22:30
by
zhangguo1286
specman因为systemverilog在未来几年内将消失?
feiying_cq
2007-11-3
4
/
190
2007-12-30 12:33
by
zgx_703
一本不错的specman的电子书
alex_wing
2007-10-28
8
/
248
2007-12-27 17:36
by
hitcszhu
【询问】用Vera做系统级的验证,如果做?
feiying_cq
2007-12-27
0
/
72
2007-12-27 17:22
by
feiying_cq
[请问] system verilog3.1a 和IEEE1800-2005的system verilog有什么不同
feiying_cq
2007-12-12
0
/
36
2007-12-12 11:43
by
feiying_cq
perl和tcl在IC的设计和验证中起什么作用??
feiying_cq
2007-11-3
3
/
160
2007-11-21 16:37
by
vegetalroot
vera问题求教
victor_wang
2007-10-9
2
/
65
2007-11-21 16:27
by
vegetalroot
求详细介绍NTB的英文PDF
zhouf
2007-10-13
1
/
39
2007-11-8 23:45
by
chungyuan
求vera断言资料
kdyu
2007-11-5
0
/
39
2007-11-5 18:45
by
kdyu
请教一个VIP验证的问题
victor_wang
2007-10-8
2
/
58
2007-10-9 13:51
by
victor_wang
RVM使用举例
gubo1
2007-8-5
6
/
180
2007-9-5 18:49
by
sdzhq
请教Vera语言中methods 和 procedures 的区别?
duke1982
2007-8-17
1
/
71
2007-8-18 08:19
by
duke1982
vera 头文件
duanli112
2007-6-24
3
/
217
2007-7-20 10:34
by
catfish
不知道有没有中文的specman的学习资料呢
happy哥
2007-7-4
2
/
177
2007-7-20 10:33
by
catfish
specman可以在windows下面运行么?
case
2007-6-24
1
/
198
2007-7-4 10:51
by
happy哥
探讨VERA and Modelsim for verilog simulation
icsky
2007-4-21
1
/
346
2007-6-11 20:24
by
Nicran
请问Pioneer NTB和vcs NTB的关系是什么?
chairwarmer
2007-5-26
2
/
242
2007-6-11 20:18
by
Nicran
关于functional coverage的一个菜鸟问题
potatoyin_98
2007-3-19
3
/
421
2007-5-17 07:10
by
snailium
[求教]VERA NTB是什么?
makyro
2007-4-8
3
/
344
2007-5-16 22:04
by
hamandu
vera之迷惑
slzhu
2007-4-1
1
/
417
2007-4-19 16:49
by
红色轻骑兵
IEEE std 1647-2006: IEEE Standard for the Functional Verification Language 'e'
BOIS
2007-3-25
3
/
444
2007-4-11 21:16
by
telehor1
如何进行端断言验证
duanli112
2007-4-2
1
/
331
2007-4-6 16:42
by
BOIS
英文专业杂志《软硬件系统设计前沿》 - Frontier Journal
summer99
2007-3-29
0
/
213
2007-3-29 16:04
by
summer99
想问一下RVM的基本概念
leeguoxian
2007-1-29
2
/
455
2007-3-26 22:01
by
zhxflxy
请教:初用OVA的simple问题
kerk
2007-3-6
1
/
250
2007-3-9 21:57
by
kerk
在specman中的功能覆盖率的问题!!
yukisun
2007-1-16
11
/
524
2007-3-9 21:44
by
kerk
对功能验证的一些个人理解
braveplus
2007-1-19
10
/
643
2007-3-8 12:19
by
yinweiming
关于vera的
wpj010250
2007-1-17
2
/
429
2007-1-21 20:42
by
wonder0112
vera中看波形
wpj010250
2007-1-17
1
/
448
2007-1-17 20:34
by
qq728
openvera 和 rvm之间是什么关系?小弟初学
herrlich
2006-10-17
4
/
572
2006-12-14 10:08
by
zwj_seu
发一篇关于验证方面的文档,不知道以前有人发过没有,免费的!
wxdshenzhen2006
2006-10-8
27
/
1103
2006-12-4 17:19
by
cishencom
求Vera入门书!
cmm
2006-10-30
0
/
551
2006-10-30 21:44
by
cmm
学习Specman的好去处~
zuo_de
2006-9-18
12
/
1031
2006-10-30 21:32
by
cmm
发现用E的不是很多??????
wxdshenzhen2006
2006-8-27
7
/
603
2006-10-13 13:16
by
wwwhfeng
"The e hardware verification language"一书下载!
- [售价 EDA元
2
元]
veri_ict
2006-10-12
4
/
236
2006-10-12 14:49
by
veri_ict
group for specman~
zuo_de
2006-9-14
4
/
579
2006-9-26 22:34
by
zfaaqq
99
1
2
››
查看
全部主题
1 天以来主题
2 天以来主题
1 周以来主题
1 个月以来主题
3 个月以来主题
6 个月以来主题
1 年以来主题
排序方式
回复时间
发布时间
回复数量
浏览次数
按降序排列
按升序排列
提交
有新回复
无新回复
热门主题
关闭主题
FPGA设计方法和工具
HDL语言
教程
工具流程
学习实例
代码风格
状态机
CPLD设计
Altera论坛
IP使用
下载配置
教程
Xilinx论坛
Virtex-5器件
Virtex其他器件
EDK & System generator
Lattice论坛
Actel论坛
Modelsim仿真
教程
库
testbench入门
debussy
Synplify综合
IC设计方法和工具
芯片综合
IC设计教程
synthesis教程
静态时序分析
DFT
芯片验证
VERA/Specman
形式验证
数字后端
Encounter
Astro
模拟IC
Tanner
Hspice
AD/DA
脚本设计
FPGA/IC应用设计
IP cores开发交流
通用设计
CPU
USB
FIFO
8051
串行接口
分频倍频
时钟与复位
通信与DSP技术
DDS
Matlab
编解码技术
3G技术
软件无线电
滤波器
FFT
图像处理
威客专版
嵌入式技术
ARM与嵌入式系统
ucos/uclinux
NIOSII/SOPC Builder
专有论坛
专业培训
求职招聘
书籍推荐
说文解字
FPGA开发板
广告专版
网友交流
本站历任版主
站内事务
资源共享
EDA之家
闲话聊天
开心一刻
Blog使用
EDA先锋工作室
娱乐休闲
灌水挣钱
控制面板首页
编辑个人资料
积分交易
积分记录
公众用户组
个人空间管理
升级个人空间
基本概况
流量统计
客户软件
发帖量记录
版块排行
主题排行
发帖排行
积分排行
交易排行
在线时间
管理团队
管理统计
输入您的搜索字词
提交搜索表单
电源监控方案 免费样品申请