psl

摘要：由于RISC具有流水线结构和指令多样性的特点，传统的Co-Verification方法使RISC验证工作复杂而艰巨。在用PERL语言编写产生的随机测试机器...

PSL/Sugar ABV ABV验证 RISC 2007-04-05

摘要：随着ASIC和SoC设计复杂程度的不断提高，功能验证越来越受到重视。作为新兴的验证方法，基于断言的验证得到越来越广泛的应用。本文介绍了基于...

|SoC；总线验证；断言；基于断言的验证；PSL| 2006-12-08

在线研讨会

焦点