本文提出了一种标准单元库组合电路功能验证的方法，并设计了相应的程序。该方法通过形式化验证与仿真相结合的方式，提高了验证效率和准确性。文章详细描述了验证流程及实现步骤，展示了在微处理器设计中的应用价值。研究为集成电路设计提供了可靠的验证手段，对提升电路可靠性具有重要意义。
文档为pdf格式，0.21MB，总共5页。
举报
