ASIA unversity:Item 310904400/7785
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 90120/105277 (86%)
造訪人次 : 8144240      線上人數 : 2032
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    ASIA unversity > 資訊學院 > 資訊工程學系 > 會議論文 >  Item 310904400/7785


    請使用永久網址來引用或連結此文件: http://asiair.asia.edu.tw/ir/handle/310904400/7785


    題名: Inductive Techniques for Formal Verification of Systolic Array Designs in DSP Applications
    作者: Nam Ling;Timothy K. Shih;Jonathan Huang
    日期: 1992
    上傳時間: 2010-01-29 15:58:41 (UTC+8)
    出版者: Asia University
    關聯: Proceedings of The IEEE ICASSP-92, San Francisco, U.S.A.,p.v-573-v576, 1992.
    顯示於類別:[資訊工程學系] 會議論文

    文件中的檔案:

    檔案 描述 大小格式瀏覽次數
    index.html0KbHTML128檢視/開啟


    在ASIAIR中所有的資料項目都受到原著作權保護.


    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回饋