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

首页| 我的主页| 登录| 现在注册 [2010年03月13日]

用户登录

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

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

请登陆网站阅读全文>>

还未注册? 快速注册成为电子系统设计用户

邮箱地址:

密码:

确认密码:

公司名:

工作性质:

产品和服务:

国家地区：

中国中国以外的其他地区

点击此处填写完整注册信息，即可免费订阅电子系统设计eDesign
设计快讯，并在线申请订阅电子杂志

已经注册? 登录阅览全部精彩内容

电子信箱:
密码:
	登录密码区分大小写
	记住我的密码忘记密码？

精品设计专栏赏析

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

专题论坛

SSI数据接口及其在工业控制领域的应用

返回页首

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