摘要
无线传感器网络(WSN)是新兴的下一代传感器网络,将广泛的应用于国防军事,环境科学,交通管理,城市智能建设等领域.超低能耗传感器节点的设计、各功能部件的接口及系统集成力法、与信号处理中心进行高速通讯成为网络基础层的重点研究内容.本文详细介绍了应用于节点处理器和RF射频单元通讯的SPI总线控制器接口的设计,并且使用当今业内最先进的基于硬件验证语言(HVL)E-language的验证方法对其进行验证,以达到在基础层功能部件接口系统集成的目的.SPI采用Verilog硬件描述语言在RTL级建模,使用带约束的随机激励产生方法对其进行功能验证,并用覆盖评估技术来确保验证的完备性,并且在构建整个验证环境时充分考虑验证代码的可重用性.
NETL