文献

J-GLOBAL ID：200902203775565373   整理番号：03A0852731

差分決定図を使用するSpecD記述における同期の検証

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

著者 (3件)： SAKUNKONCHAK T (Univ. Tokyo, Tokyo, JPN) ,  KOMATSU S (Univ. Tokyo, Tokyo, JPN) ,  FUJITA M (Univ. Tokyo, Tokyo, JPN)
資料名： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers))
巻： E86-A  号： 12  ページ： 3192-3199  発行年： 2003年12月01日 
JST資料番号： F0699C  ISSN： 0916-8508  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： SpecCは,Cプログラムに基づいて仕様から振る舞いに至る設...

シソーラス用語： LSI【IC】 ,...
準シソーラス用語： 差分決定図 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=03A0852731&from=J-GLOBAL&jstjournalNo=F0699C") }}

分類 (2件)： 論理代数  (JB03000H) ,  CAD,CAM  (JE10000A)

引用文献 (12件)：

• GAJSKI, D. Specification Language and Methodology. 2000
• GERSTLAUER, A. System Design : A Practical Guide with SpecC. 2001
• CLARKE, E. M. Model Checking. 2000
• ANDREWS, G. R. Concurrent Programming : Principles and Practice. 1991
• ANDREWS, G. R. Parallel, and Distributed Programming. 2000

タイトルに関連する用語 (3件)： 差分 ,  記述 ,  検証