In this paper,we present a new approach for complex system design,which allows rapid,efficient and low-cost prototyping.This approach can simplify designing tasks and go faster from system modeling to effective hardwa...In this paper,we present a new approach for complex system design,which allows rapid,efficient and low-cost prototyping.This approach can simplify designing tasks and go faster from system modeling to effective hardware implementation.Designing multi-domain systems requires different engineering competences and several tools,our approach gives a unique design environment,based on the use of VHDL-AMS modeling language and FPGA device within the same design tool.This approach is intended to enhance hardware-in-the-loop(HIL)practices with a more realistic simulation which improve the verification process in the system design flow.This paper describes the implementation of a software/hardware platform as a practical support for our approach,the feasibility and the benefits of this approach are demonstrated through a practical case study for power converter control.The obtained results show that the developed method achieves significant speed-up compared with conventional simulation,with a minimum used resources and minimum latency.展开更多
针对传统IIC总线接口的FPGA设计可重用性不高的问题,提出了一种基于FPGA的可配置IIC总线接口设计方案。该方案采用同步有限状态机设计方法和硬件描述语言Verilog HDL,对IIC总线的数据传输时序进行模块化设计,采用Signal Tap II对设计模...针对传统IIC总线接口的FPGA设计可重用性不高的问题,提出了一种基于FPGA的可配置IIC总线接口设计方案。该方案采用同步有限状态机设计方法和硬件描述语言Verilog HDL,对IIC总线的数据传输时序进行模块化设计,采用Signal Tap II对设计模块进行仿真验证。实验结果表明,该设计接口作为一种主控制器接口,可实现与具有IIC总线接口的从机器件100 kbyte/s和400 kbyte/s的可靠数据传输。该方案具有可重用度高、可配置性强、控制灵活等优点,并已成功运用于工程实践中。展开更多
功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有...功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有明显不足.基于FPGA的硬件原型验证方法能极大地加速验证性能,但其调试能力较弱,虽能快速发现漏洞,但难以定位漏洞出现的具体位置和根本原因,存在有效性不足难题.为同时解决上述功能验证有效性与高效性的问题,提出一种将不可综合的断言语言SVA(SystemVerilog Assertion)自动转换成逻辑等效但可综合的RTL电路的方法,聚焦于断言这一类对设计进行非全局建模、纵向贯穿各抽象层级的验证方式,对基于全局指令集架构(instruction set architecture,ISA)模型的验证能力进行补足.同时,结合FPGA细粒度并行化、高度可扩展的优势,对处理器的验证过程进行硬件加速,提升了处理器的开发效率.实现了一个端到端的硬件断言平台,集成对SVA进行硬件化的完整工具链,并统计运行在FPGA上的硬件化断言的触发和覆盖率情况.实验表明,和软件仿真相比,所提方法能取得超过2万倍的验证效率提升.展开更多
文摘In this paper,we present a new approach for complex system design,which allows rapid,efficient and low-cost prototyping.This approach can simplify designing tasks and go faster from system modeling to effective hardware implementation.Designing multi-domain systems requires different engineering competences and several tools,our approach gives a unique design environment,based on the use of VHDL-AMS modeling language and FPGA device within the same design tool.This approach is intended to enhance hardware-in-the-loop(HIL)practices with a more realistic simulation which improve the verification process in the system design flow.This paper describes the implementation of a software/hardware platform as a practical support for our approach,the feasibility and the benefits of this approach are demonstrated through a practical case study for power converter control.The obtained results show that the developed method achieves significant speed-up compared with conventional simulation,with a minimum used resources and minimum latency.
文摘功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有明显不足.基于FPGA的硬件原型验证方法能极大地加速验证性能,但其调试能力较弱,虽能快速发现漏洞,但难以定位漏洞出现的具体位置和根本原因,存在有效性不足难题.为同时解决上述功能验证有效性与高效性的问题,提出一种将不可综合的断言语言SVA(SystemVerilog Assertion)自动转换成逻辑等效但可综合的RTL电路的方法,聚焦于断言这一类对设计进行非全局建模、纵向贯穿各抽象层级的验证方式,对基于全局指令集架构(instruction set architecture,ISA)模型的验证能力进行补足.同时,结合FPGA细粒度并行化、高度可扩展的优势,对处理器的验证过程进行硬件加速,提升了处理器的开发效率.实现了一个端到端的硬件断言平台,集成对SVA进行硬件化的完整工具链,并统计运行在FPGA上的硬件化断言的触发和覆盖率情况.实验表明,和软件仿真相比,所提方法能取得超过2万倍的验证效率提升.
