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
Link To Document