SpecC design environment

Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573) Pub Date : 2001-05-06 DOI:10.1109/TUTCAS.2001.946963

D. Gajski

引用次数: 2

Abstract

The author discusses the SpecC design environment, considering the following topics: validation levels; abstraction levels; SpecC scope, methodology and refinements; refinement user interface; user feedback; user guided refinement; automatic refinement; validation user interface; modelling, refinement, exploration and synthesis engines.

查看原文本刊更多论文

规格设计环境

作者讨论了spec设计环境，考虑了以下主题:验证级别;抽象级别;规格范围、方法和改进;优化用户界面;用户反馈;用户导向细化;自动细化;验证用户界面;建模，改进，探索和合成引擎。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573)

自引率

0.00%

发文量