任务模型及MCTL系统中存储结构的研究
来源期刊:北方工业大学学报2004年第1期
论文作者:杜慧 李哲英 骆丽
文章页码:30 - 36
关键词:验证;MCTL;任务;算子;存储结构;
摘 要:给出了超大规模数字集成电路形式验证的任务流集合和任务模型 ,并以任务模型为基础提出了验证新方法MCTL .建立任务流集合以及相关的存储结构 ,是MCTL实现的关键 .为此 ,本文确定了一组基本功能算子与约束条件存储结构 ,这种存储结构既可以节省空间和时间 ,又满足了建立任务流集合对存储结构的要求
杜慧,李哲英,骆丽
摘 要:给出了超大规模数字集成电路形式验证的任务流集合和任务模型 ,并以任务模型为基础提出了验证新方法MCTL .建立任务流集合以及相关的存储结构 ,是MCTL实现的关键 .为此 ,本文确定了一组基本功能算子与约束条件存储结构 ,这种存储结构既可以节省空间和时间 ,又满足了建立任务流集合对存储结构的要求
关键词:验证;MCTL;任务;算子;存储结构;