文献

J-GLOBAL ID：200902244750463540   整理番号：06A0210228

拘束ロジック・プログラミングを用いたRTL Verilog記述の述語抽出

Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming

著者 (4件)： LI Tun (National Univ. Defense Technol., HuNan, CHN) ,  GUO Yang (National Univ. Defense Technol., HuNan, CHN) ,  LI SiKun (National Univ. Defense Technol., HuNan, CHN) ,  LIU GongJie (National Univ. Defense Technol., HuNan, CHN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3707  ページ： 174-186  発行年： 2005年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (7件)： 拘束 ,  ロジック ,  プログラミング ,  RTL ,  Verilog ,  記述 ,  述語