自己翻译的VERA文档（部分）

Hannahey · 发表于 2006-4-24 16:20:00

【文件名】:06424@52RD_VERA1TNET(1).rar
【格　式】:rar
【大　小】:112K
【简　介】:Synopsys公司的Discovery验证平台，是一个提供高性能和在所有平台组件之间高效交互使用的统一环境，这些组件包括混合HDL模拟、混合信号、系统级验证、断言、验证IP、代码覆盖、功能覆盖、测试台和形式分析。Discovery验证平台包括Synopsys的VCS HDL 模拟器、VCS MX 混合HDL 模拟器、用于系统级验证的CoCentric System Studio、LEDA 可编程 RTL 检查器、Vera 测试台自动工具、Magellan hybrid RTL 形式化验证、DesignWare 验证IP、形式等价性检查、用于混合信号仿真的NanoSim和HSPICE。
【目　录】:无目录

Hannahey · 发表于 2006-4-24 16:23:00

【文件名】:06424@52RD_VERA2TNET.rar
【格　式】:rar
【大　小】:6K
【简　介】:并发控制和进程间通信
【目　录】:无目录

		自动登录	找回密码
密码			注册

[IC设计资料] 自己翻译的VERA文档（部分）

本帖子中包含更多资源

本帖子中包含更多资源