动态验证论文

自动机理论在验证PSL中的应用
论文摘要随着信息技术的发展，集成电路的规模和复杂度不断扩大，验证在这个项目的开发周期越来越长，而且集成电路市场竞争也越来越激烈。保证设计功能的正确性并尽量缩短产品投入市场的时间...