• DocumentCode
    2581664
  • Title

    A layered approach to behavioral modeling of bus protocols

  • Author

    Chonnad, Shivakumar ; Needamangalam, Balachander

  • Author_Institution
    Synopsys Inc., Mountain View, CA, USA
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    170
  • Lastpage
    173
  • Abstract
    This paper presents a hierarchical approach to designing behavioral functional models (BFMs) for bus protocols, based on the protocols´ defined hierarchies of data-transfer. Classical approaches to BFM design for bus protocols restrict themselves to the most rudimentary levels of data-exchange, leading to inefficient and error-prone modeling of higher level data transfers. This paper presents a layered approach to BFM design, in which each level of data transfer is controlled or monitored by a separate layer of BFM functions. This approach addresses all levels of data-transfer abstractions, and increases the scope for reuse across multiple projects. We present a case-study of the successful application of this methodology in the implementation of Synopsys´ DesignWareTM USB (Universal Serial Bus) Functional Model (UBFM)
  • Keywords
    formal verification; object-oriented programming; protocols; system buses; DesignWare; Synopsys; USB; behavioral modeling; bus protocols; data-transfer hierarchies; layered approach; multiple projects; Design methodology; Encoding; Modems; Monitoring; Object oriented modeling; Object oriented programming; Open area test sites; Protocols; Testing; Universal Serial Bus;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    ASIC/SOC Conference, 2000. Proceedings. 13th Annual IEEE International
  • Conference_Location
    Arlington, VA
  • Print_ISBN
    0-7803-6598-4
  • Type

    conf

  • DOI
    10.1109/ASIC.2000.880696
  • Filename
    880696