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

【文件属性】：

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

文件大小：1.22MB

文件格式：PDF

更新时间：2024-07-25 13:25:02

verilog FPGA

摘要:在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/