电子系统设计网 - 会员登陆

首页| 我的主页| 登录| 现在注册 [2009年07月04日]

用户登录

各种流行验证技术的特性比较和选择标准

本文阐述了当今流行的验证技术(形式验证、随机、定向、约束随机、断言、属性检查)和语言(SystemC、C/C++、SystemVerilog、Open-VERA、E等等)，还探讨了各种验证技术在数字ASIC传统设计流程中的场合(应采用何种技术和语言)和时机(设计者何时需要运用某项特定的技术或语言)。

请登陆网站阅读全文>>

还未注册？

现在免费注册，您即可：

浏览本站所有文章和资料页面
电子速递一经订阅即可随时查阅
进入工程师论坛与同行交流技术心得
与特约专家共讨技术难点

电子信箱：

密码：

登录密码区分大小写

记住我的密码忘记密码？

精品设计专栏赏析

•	TD-SCDMA技术专题
•	绿色能源设计专栏
•	医疗电子设计专栏
•	HDTV设计专栏
•	汽车电子设计专栏
•	4G/3G设计专栏
•	机器人设计专栏
•	HDMI接口设计专栏
•	ESD保护设计专栏
•	工业控制应用设计专栏
•	微波与射频设计专栏
	更多专题...

专题论坛

LED恒流驱动源的特性和选用

返回页首

eMedia:	电子工程专辑 \| 手持电子设备 \| 家庭娱乐系统 \| 工业控制 \| 汽车电子设计 \| 电源系统 \| 模拟混合信号 \| 国际电子商情
环球资源:	环球资源企业网 \| 环球资源内贸网 \| 供应商服务网站 \| 世界经理人 \| 尚品人生 \| Electronic Components \| Computer Products \| China Sourcing Fairs

RSS新闻聚合