【摘要】 交易级建模技术适用于构建大规模电路系统的功能验证平台。结合C++天生的类继承机制和SystemC的接口通道机制,基于该建模技术的ATA控制器验证平台成功实现了随机化的交易级验证,降低了设计模块间通信的复杂度,结构上具有良好的可扩展性和可重用性。着重阐述该验证平台中抽象通道与适配器的通用设计方法,提出了一种基于面向对象技术的创新的验证平台设计模式,并分析了交易级建模和RTL建模之间的区别以及交易级建模技术在提高验证效率上的优势。更多还原

【Abstract】 Transaction level modeling is a new methodology on building functional verification environment for large scale circuit design.Based on the object-oriented technology of C++ and the port-channel mechanism offered by SystemC,a random-biased functional veri-fication environment for ATA controller has been successfully completed in transaction level.Complexity of communication between modules is reduced by using channels and interfaces.A simple yet effective design pattern is developed during the testbench evolution,and the architecture is easily adapted to similar testbench designs.The difference between the TLM and RTL modeling is described.The benefits of transaction level modeling are shown by experimental results.更多还原