文献
J-GLOBAL ID:201702230453134976
整理番号:17A1276491
充足可能性モジュロ理論を用いたアナログレイアウト配置再標的化【Powered by NICT】
Analog layout placement retargeting using Satisfiability Modulo Theories
著者 (3件):
Mohamed Aya
(Mentor Graphics, Egypt, Cairo 11361, Egypt)
,
Dessouky Mohamed
(Mentor Graphics, Egypt, Cairo 11361, Egypt)
,
Saif Sherif M.
(Computer and Systems Department, Electronics Research Institute, Egypt)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2017
号:
SMACD
ページ:
1-4
発行年:
2017年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)