应用于无线传感网络的总线控制接口设计及其基于Elanguage的验证方法研究.pdfVIP

—————————盟。旦三堂垒生堕皇至篁兰叁兰±!!壁兰垒堡壅鉴 应用于无线传感网络的总线控制接口设计及其基于E—language的 验证方法 刘源 刘领一 朱佳辉 赵刚 董利民 昊武臣 (北京工业大学VLSI与系统集成研究室北京 1 00022) (中国科学院计算技术研究所信息网络室 北享 100080) 摘要： 无线传感器嘲络(wsN)足新兴柏下叫它传感搽嘲络，将广泛的应丌3 j。辔防牛事，州、境科学，交道箭 理，城市智能建设等领域。超低能耗传感器节点的设训、备功能部件的接u及系统集成，』法、与信号处理一卜 心进幸_|二高速通讯成为嗍络接砌层的蘑点研究内容。本文洋细介刖了应』fJ于节点处殚器和RF射频甲儿通讯的 SPI总线控制器接u的设计，并且使『乃当今、lp内最先进的基j‘硬件验证语言(Hv【，)旷1anguage的骑弧力泣 刈其进行验证，以达到在基础层功能部件接n系统集成的日的。SPI采用Verilog硬件描述语言在RTI，级建 模t使『1J带约束的随机激励产化方法列其进行功能验证，并心覆盂评估技术来确保验证的完备倒，并H冉．构 建整个验证纠、境时先分考虑验Ⅱ代码的可匝用住，． 关键词： 无线传感器陋9络 SPI硬件验证语芹 系统集成 一、引言 传感器嘲络是当今国际J二备受关注的、有多学科高度交叉的新兴前沿研究热点领域，并 以成为进入2000年以来公认的前沿热点研究领域，被认为是将对二十世纪产生巨人影响力 的技术之一。传感器网络节点的基本组成主要包括以F几个单元，传感尊元(传感器和模数 转换功能模块)、处理单元、通讯单元(RF模块)，如图l所示。处理单元通过串行总线控制 接口spl同射频毕元进行通讯，SPI负责将传感器采集到的数据发送到sink节点或是接收sink 悼点发送过来的数据，因此在网络节点巾充当非常重要的地位。为了满足数据通讯的多样性， sPI HJ‘配置成多种T作方式，并且支持多种波特率的传输，时钟的极性以及相位可以随意搭配。 在对SPI在RTL级建模后，需要对设计进行功能验证，通常采用基于模拟的方法。主要采用 软件方法将测试激励(testbench)施加到被验证设计(DuT)，观察系统的响应，与黄金模型 model)进行比较后，验证功能的正确性。由丁基丁模拟的验证方法本身具有不完备 (golden 性，因此在应用中，还要结合覆盖评估技术来提高验证的完稀性。 图i七线传感器网络结点系统结构 VⅡ一579 。扣国电子学会电路与系统学会第十九届年会论文集 二、SPI总线控制器接口的设计 SPI用于CPU和RF模块之问的高速同步数据传输，包括以F性能特征：全双工、j线同 步数据传输、可配置为Master或Slave操作、LSB／MSB传输、数据传输完毕发中断标志位、 写冲突位保护。为满足数据传输的多样性，传输数据伴随时钟相位和时钟极性的组合共有四 种数据传输方式，同时SH所产生的时钟足可配置的，可配置为系统时钟的4分频、16分频、 64分频和128分频。在数据发送时，既可以先发LSB位，也可以先发MSB位。 SPI的体系结构如图2所示，SPI共有3个寄存器，分别为数据寄存器SPDR，控制寄存 模式、中断使能、SPI使能、LSB／MSB、时钟相位、时钟极性和SH的时钟频率的配置都在 SPCR控制寄存器中的相应位与之对应，SPSR显示是否发生数据写冲突及其数据是否传输完 毕。 图2SPI接rI的体系结构 ‘旦记到设定 配置为输“1，一旦CPU将数据送到SPDR数据寄存器巾，内部信号开始计数， 的时钟周期，数据将被串行输出MOSI。 n管脚被拉低，SPI的Slave工作模式将被唤醒。 输入，ssn管脚被配置为输入，一旦SS 数据将串行输出MISO，或是接收采样来自SPlMaster的串行数据。