摘要:傳統的驗證平臺編寫復雜,且難以在不同設計之間重用。采用Syslem Verilog支持的VMM驗證方法學,并結合帶約束的隨機驗證和覆蓋率驅動的驗證技術,構建可重用驗證平臺,完成對uART模塊的驗證。與直接測試方法相比,該驗證平臺不僅能夠有效提高驗證效率,而且在模塊級和系統級驗證過程中,能夠重用該驗證平臺或驗證組件。
現代電子技術2011年8期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業管理與科技》2024年6期
9《現代食品》2024年4期
10《衛生職業教育》2024年10期
關于參考網