电子工程专辑

Mathworks为嵌入式软件增加形式设计方法

为了在得到广泛使用的基于Simulink模型的设计套件中增加形式设计方法，Mathworks公司最近推出了Simulink Design Verifier工具，该工具可以为Simulink仿真平台和Stateflow设计与仿真工具提供的模型生成测试和验证属性。

请登陆网站阅读全文>>

邮箱地址：
密码：		登录密码区分大小写
	记住我的密码忘记密码?

	如果您已经是以下网站的注册用户，请使用您当时的注册帐号登陆
电子工程专辑旗下网站电子工程专辑印度版电子工程专辑英文版电子工程专辑繁体中文版电子工程专辑韩文版模拟混合信号手机设计电源系统媒体播放器嵌入式设计印度版电源设计印度版家庭娱乐系统工业控制汽车电子

如果您已经是以下网站的注册用户，请使用您当时的注册帐号登陆

电子工程专辑旗下网站

技术文章下载专区

• RS-485工业接口的设计应用指南

• 运算放大器输出驱动能力的确定

• 揭去UHF Gen 2 RFID和HF RFID的神秘面纱

• 运算放大器电路固有噪声的分析与测量第八部分：爆米花噪声(二)

• 信号链基础(1)：运算放大器

我是工程师

“我是工程师”第二期论坛有奖活动现已圆满结束，获奖用户已经诞生，请及时关注！

话题PK台

话题PK台搜集工程师们最关心的话题，发表您的真知灼见。

奥运科技专栏

• 由北京奥运会开幕式看LED应用

• 北京奥运比赛场馆的音响及扩音系统揭秘

• 奥运会大屏幕显示，LED屏的天下

• 畅想电子达人的奥运一天：热门技术的集中体验

• 奥运兴奋剂测试对测试仪器提出了新挑战

热门关键词

• 3G

• HDMI

• MCU

• ADC

• ARM

• 机顶盒

• RFID

• ZigBee

eMedia Asia	EE Times - Asia\|EE Times - India\|\|\|手机设计\|媒体播放器\|家庭娱乐系统\|工业控制\|汽车电子设计\|电源系统\|模拟混合信号\|国际电子商情\|电子系统设计
环球资源	环球资源企业网\|环球资源内贸网\|世界经理人\|尚品人生\|Electronic Components\|Computer Products\|China Sourcing Fairs
TechInsights	EE Times\|ESM Online