基于SV语言的UART模块功能验证

随着半导体工艺的发展,SoC芯片的规模和复杂度日益增大,传统的验证方法已经不能满足要求。本文介绍了基于SystemVerilog验证语言的形式化验证和VMM验证这两种功能验证的方法,并且结合使用这两种方法对一个UART接口模块进行了验证,在保证验证完备性的基础上,有效地提高了功能验证的效率。

基于MSP430的多处理器通信技术研究

MSP430系列单片机处理能力强大,超低功耗设计,功能高度集成,适合众多的场合使用。但是在大型复杂的场合或者实时性要求较高的场合,使用一个处理器处理所有的任务,总是显得有些不足。提出用多片MSP430组成多处理器系统,利用MSP430固有的UART硬件模块,采用MODBUS通讯协议实现不同处理器之间的数据交换。