:::

教職員生

:::
研討會論文
學年度81
論文名稱(篇名)Inductive techniques for formal verification of systolic array designs in DSP applications approach
會議名稱Proceeding of the ICASSP-92, San francisco, USA
會議開始時間1992-01-01
會議結束時間1992-01-01
發表年度1992
作者中文名 施國琛
cron web_use_log