简介概要

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

来源期刊:北方工业大学学报2004年第1期

论文作者:杜慧 李哲英 骆丽

文章页码:30 - 36

关键词:验证;MCTL;任务;算子;存储结构;

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

详情信息展示

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

杜慧,李哲英,骆丽

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

关键词:验证;MCTL;任务;算子;存储结构;

<上一页 1 下一页 >

相关论文

  • 暂无!

相关知识点

  • 暂无!

有色金属在线官网  |   会议  |   在线投稿  |   购买纸书  |   科技图书馆

中南大学出版社 技术支持 版权声明   电话:0731-88830515 88830516   传真:0731-88710482   Email:administrator@cnnmol.com

互联网出版许可证:(署)网出证(京)字第342号   京ICP备17050991号-6      京公网安备11010802042557号