文献

J-GLOBAL ID：200902184548731106   整理番号：93A0328512

並列論理型言語を用いた構造化分析法によるLSI仕様記述・検証法の検討

High Level LSI Design Specification and Verification Based on Structured Analysis Method Using Concurrent Logic Programming Language.

著者 (2件)： 長沼次郎 (NTT LSI研) ,  小倉武 (NTT LSI研)
資料名： 情報処理学会全国大会講演論文集
巻： 46th  号： 6  ページ： 6.143-6.144  発行年： 1993年03月 
JST資料番号： S0731A  資料種別： 会議録 (C)
発行国： 日本 (JPN)  言語： 日本語 (JA)

タイトルに関連する用語 (6件)： 並列論理型言語 ,  構造化 ,  分析法 ,  LSI ,  仕様記述 ,  検証