芯片开发功能验证的形式化方法1

【文件属性】：

文件名称：芯片开发功能验证的形式化方法1

文件大小：524KB

文件格式：PDF

更新时间：2022-08-04 14:04:04

摘要:在芯片设计领域,采用模型驱动的 FPGA驱动的 FPGA 设计需要证明 FPGA 设计模型和生成靠性和安全性也至关重要.目前,多采用仿真方法对模型和代码的