形式刻画论文

自动机理论在验证PSL中的应用
论文摘要随着信息技术的发展，集成电路的规模和复杂度不断扩大，验证在这个项目的开发周期越来越长，而且集成电路市场竞争也越来越激烈。保证设计功能的正确性并尽量缩短产品投入市场的时间...
超协调时序逻辑及其模型检测方法
论文摘要传统的观点认为保持系统刻画的协调性1是并发系统开发过程基本的要求,但随着所设计并发系统的规模越来越大,功能越来越复杂,使得自始至终维持系统的协调性成为一个具有挑战性的课...