基于断言的验证论文

高可信IP核交付标准研究
论文摘要随着数字系统的日益复杂,基于IP（IntellectualProperty）的设计方法成为缩短开发周期的必然之选。然而,很少有公司能够提供用于完整“系统级芯片（SoC,...