应用于无线传感网络的总线控制接口设计及其基于E-language的验证方法
无线传感器网络(WSN)是新兴的下一代传感器网络,将广泛的应用于国防军事,环境科学,交通管理,城市智能建设等领域.超低能耗传感器节点的设计、各功能部件的接口及系统集成力法、与信号处理中心进行高速通讯成为网络基础层的重点研究内容.本文详细介绍了应用于节点处理器和RF射频单元通讯的SPI总线控制器接口的设计,并且使用当今业内最先进的基于硬件验证语言(HVL)E-language的验证方法对其进行验证,以达到在基础层功能部件接口系统集成的目的.SPI采用Verilog硬件描述语言在RTL级建模,使用带约束的随机激励产生方法对其进行功能验证,并用覆盖评估技术来确保验证的完备性,并且在构建整个验证环境时充分考虑验证代码的可重用性.
无线传感器网络 SPI 硬件验证语言 总线控制接口 系统集成力法 信号处理
刘源 刘领一 朱佳辉 赵刚 董利民 吴武臣
北京工业大学VLSI与系统集成研究室,北京,100022 中国科学院计算技术研究所信息网络室,北京,100080
国内会议
合肥
中文
579-582
2005-10-01（万方平台首次上网日期，不代表论文的发表时间）