任务模型及MCTL系统中存储结构的研究

Mission Model and Research of Memory Structure in MCTL System

给出了超大规模数字集成电路形式验证的任务流集合和任务模型 ,并以任务模型为基础提出了验证新方法MCTL .建立任务流集合以及相关的存储结构 ,是MCTL实现的关键 .为此 ,本文确定了一组基本功能算子与约束条件存储结构 ,这种存储结构既可以节省空间和时间 。

A new checking method-MCTL is presented at first. It can be used in system verification for designing GSI. To establish mission-flow aggregate is a key point in this system. Therefore, in this article a memory structure for basic functional operators and constraint conditions is determined. This memory structure can not only save space and time, but also meet the requirements of mission-flow.