-
61浏览
-
0点赞
-
0收藏
-
0分享
-
89下载
-
0评论
-
引用
期刊论文
任务模型及MCTL系统中存储结构的研究
北方工业大学学报,2004,16(1):30~36,-0001,():
给出了超大规模数字集成电路形式验证的任务流集合和任务模型,并以任务模型为基础提出了验证新方法MCTL建立任务流集合以及相关的存储结构,是MCTL实现的关键为此,本文确定了一组基本功能算子与约束条件存储结构,这种存储结构既可以节省空司和时司,又满足了建立任务流集合对存储结构的要求。
【免责声明】以下全部内容由[骆丽]上传于[2010年03月04日 14时47分56秒],版权归原创者所有。本文仅代表作者本人观点,与本网站无关。本网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。
本学者其他成果
同领域成果