ASIA unversity:Item 310904400/7785
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 90120/105278 (86%)
Visitors : 8953576      Online Users : 71
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version

    Please use this identifier to cite or link to this item:

    Title: Inductive Techniques for Formal Verification of Systolic Array Designs in DSP Applications
    Authors: Nam Ling;Timothy K. Shih;Jonathan Huang
    Date: 1992
    Issue Date: 2010-01-29 15:58:41 (UTC+8)
    Publisher: Asia University
    Relation: Proceedings of The IEEE ICASSP-92, San Francisco, U.S.A.,p.v-573-v576, 1992.
    Appears in Collections:[Department of Computer Science and Information Engineering] Proceedings

    Files in This Item:

    File Description SizeFormat

    All items in ASIAIR are protected by copyright, with all rights reserved.

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