微处理机
微處理機
미처리궤
MICROPROCESSORS
2009年
2期
11-14
,共4页
PowerPC405处理器%软硬件协同验证平台%TLM事务级模型%验证流程自动化
PowerPC405處理器%軟硬件協同驗證平檯%TLM事務級模型%驗證流程自動化
PowerPC405처리기%연경건협동험증평태%TLM사무급모형%험증류정자동화
构建了基于PowerPC405处理器的SoC软硬件协同验证平台.该平台使用层次化的设计方法,在统一平台架构下支持RTL和TLM两种不同抽象层次的虚拟原型仿真,兼顾了仿真精度和速度的要求.平台中提供了完整的开发工具和基础架构,支持以C语言测试程序作为输入的验证流程自动化,可有效地提高验证效率.
構建瞭基于PowerPC405處理器的SoC軟硬件協同驗證平檯.該平檯使用層次化的設計方法,在統一平檯架構下支持RTL和TLM兩種不同抽象層次的虛擬原型倣真,兼顧瞭倣真精度和速度的要求.平檯中提供瞭完整的開髮工具和基礎架構,支持以C語言測試程序作為輸入的驗證流程自動化,可有效地提高驗證效率.
구건료기우PowerPC405처리기적SoC연경건협동험증평태.해평태사용층차화적설계방법,재통일평태가구하지지RTL화TLM량충불동추상층차적허의원형방진,겸고료방진정도화속도적요구.평태중제공료완정적개발공구화기출가구,지지이C어언측시정서작위수입적험증류정자동화,가유효지제고험증효솔.