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

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