文献
J-GLOBAL ID:201202254188847586
整理番号:12A1439397
パターンマッチングの検証フローへの集積
Integration of Pattern Matching into Verification Flows
著者 (2件):
DESOUKY Tamer
(Mentor Graphics Egypt, Cairo, EGY)
,
SAEED Omnia
(Mentor Graphics Egypt, Cairo, EGY)
資料名:
Proceedings of SPIE
(Proceedings of SPIE)
巻:
8326
号:
Pt.2
ページ:
83261X.1-83261X.11
発行年:
2012年
JST資料番号:
D0943A
ISSN:
0277-786X
CODEN:
PSISDG
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)