事务级系统验证实现更高的性能和效率
出处
《电子设计应用》
2006年第10期101-102,共2页
Electronic Design & Application World
-
1林俊亭.随机逻辑控制系统的PC程序设计[J].西北纺织工学院学报,1994,8(3):302-305.
-
2滕云,苑伟政,常洪龙.面向三维实体建模的MEMS设计方法[J].传感技术学报,2011,24(3):350-353. 被引量：4
-
3孙利军,董云卫,周兵.一种PowerPC指令集模拟器的设计与实现[J].微计算机信息,2010,26(23):161-163.
-
4徐学航,吕强,邹雷.基于事务级模型的火控计算机建模研究[J].火力与指挥控制,2008,33(S2):113-114.
-
5阿米拉里高弗兰尼,法特穆加瓦河瑞,哈米德诺瑞,在那拉贝定纳瓦比.时间自动机的事务级形式验证(英文)[J].上海师范大学学报（自然科学版）,2010,39(5):462-471.
-
6底晓强,母一宁,李锦青,杨华民.一种基于TLM超混沌细胞神经网络图像加密新算法[J].红外与激光工程,2014,43(12):4170-4176. 被引量：6
-
7Steven Brown.TLM驱动式设计和验证方法学新方案[J].电子设计应用,2009(12):33-37.
-
8Cadence推出首个TLM驱动式设计与验证解决方案[J].中国电子商情,2009(9):92-92.
-
9陈凯华,高钦和.基于AMESim的纯电动汽车动力性能仿真[J].科技创新与应用,2015,5(34):9-10. 被引量：4
-
10范婧,韩明秀,邵作之,张驰.一种基于SystemC的仿真平台快速构建方法[J].计算机与现代化,2012(1):154-156.
;
