功能正确性相关论文
SIMD(Single Instruction Multiply Data,单指令多数据流)在多媒体技术中得到广泛应用,也非常适合作数据密集型的科学运算.SIMD的......
本文针对高性能DSP的从接口UTOPIA,提出了一种软硬件仿真测设平台系统的设计方法,实现了外部主机与DSP通过UTOPIA接口进行数据的异......
HPP(Hyper Parallel Processing)控制器应用在超龙一号和曙光6000节点中,提供了CPU之间的互连通路,实现了节点内统一地址空间和节......
随着集成电路技术的不断发展,系统级设计的地位日益重要.它在较高的抽象层次建立系统模型,不仅可以在设计周期的早期验证功能正确......
功能正确性是集成电路设计的最基本要求。功能验证是检验集成电路功能正确性的方法，是集成电路设计中十分重要的一个环节。随着集成......
目前,在嵌入式系统中,SD卡作为重要的外部存储设备以其高容量、高速度以及灵活性等优点得到了广泛的应用,其读写控制器的设计......
I2C总线是一种简单的双向二进制串行通信总线。本文一方面介绍了I2C总线接口控制模块的设计；另一方面对I2C总线读写状态进行了......
在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个......
虚拟化技术为安全关键系统提供了分区隔离等重要特性,虚拟机监视器(Virtual Machine Monitor,VMM)作为其核心组件,对客户系统的安......
