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

【Abstract】 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.更多还原