论文部分内容阅读
基于Specman的硬件验证环境,给出一个嵌入式软件验证的设计流程。利用该设计流程,对Linux下的USB驱动程序进行验证,并成功找到该程序旧版本中的一个缺陷。
基于Specman的嵌入式软件验证的设计流程
【摘 要】
：
基于Specman的硬件验证环境,给出一个嵌入式软件验证的设计流程。利用该设计流程,对Linux下的USB驱动程序进行验证,并成功找到该程序旧版本中的一个缺陷。
【机 构】
：
柳州城市职业学院
【出 处】
：
计算机与现代化
【发表日期】
：
2010年8期
其他文献
《清人诗文集总目提要》是一部著录现存清代诗文别集的大型工具书,对于研究清代文学具有重要的参考价值,但其中也偶有疏误之处。譬如有关柯辂、龚维琳、黄宗汉、郭传璞、龚显
首先分析了PE文件的基本结构，着重说明了PE头及节表结构，然后介绍了如何增加一个节表并修改入口点到这个新加节表中的技术。通过这种技术，程序运行起来时可以执行事先指定的代码
在讨论可变扩频增益多速率直接序列码分多址（DS-CDMA）系统信号模型的同时，为了保证该检测器能适用于多径衰落信道环境，提出了基于Kalman滤波的盲多速率多用户检测器，并给出了Kalma