English  |  正體中文  |  简体中文  |  Items with full text/Total items : 90120/105277 (86%)
Visitors : 8143912      Online Users : 1716
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
    ASIA unversity > 資訊學院 > 資訊工程學系 > 期刊論文 >  Item 310904400/4886

    Please use this identifier to cite or link to this item: http://asiair.asia.edu.tw/ir/handle/310904400/4886

    Title: Verification of Systolic Architecture Designs
    Authors: Fuyau Lin;Timothy K. Shih
    Date: 1993-09
    Issue Date: 2009-12-03 16:32:10 (UTC+8)
    Publisher: Asia University
    Abstract: We present a Prolog-based verifier, VSTA, for formal specification and verification of systolic architectures. This specific CAD tool is developed to produce sound and efficient verification process and provide short-cuts to justify systolic array designs. Our tool allows users to represent systolic array architectures in Systolic Temporal Arithmetic specification language and to justify the design semi-automatically using the system. STA is developed earlier by Ling [18] for formal description and reasoning of systolic array designs. We briefly review the STA formalism and discuss the realization of STA verifier which is an interpreter with induction and rewriting mechanisms built in. The induction technique is adopted to exploit the regularity and locality nature of systolic array architectures. Prolog is adopted for mechanical verification due to its power and its closeness in representing STA notation
    Relation: Journal of Computers and Artificial Intelligence 12(5):417-440
    Appears in Collections:[資訊工程學系] 期刊論文

    Files in This Item:

    File Description SizeFormat
    310904400-4886.doc115KbMicrosoft Word324View/Open

    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