Title :
Validation platform for a P1394a OHCI-link layer synthesizable core (with a PCI bus interface)
Author :
Hariharakrishnan, A.V. ; Johney, Simon
Author_Institution :
EnThink, Bangalore, India
Abstract :
The P1394a is a serial bus that provides the same service as modern IEEE-standard parallel busses, at a much lower cost. The P1394a has multiple layers, namely: physical layer, link layer, transaction layer and bus management layer. The 1394 Open Host Controller Interface (Open HCI) is an implementation of the link layer protocol of the 1394 serial bus, with additional features to support the transaction and bus management layers. We present the validation environment for validation of a PI394a OHCI-Link Synthesizable Core with a 32 bit PCI Bus Interface. The results show that by having a system level validation environment, effective validation can be achieved at the register transfer level
Keywords :
circuit analysis computing; formal verification; system buses; 1394 Open Host Controller Interface; 32 bit PCI Bus Interface; Open HCI; P1394a OHCI-link layer synthesizable core; bus management layer; bus management layers; link layer; link layer protocol; modern IEEE-standard parallel busses; physical layer; register transfer level; serial bus; system level validation environment; transaction layer; validation environment; validation platform; Backplanes; Communication cables; Control system synthesis; Costs; Error correction; Human computer interaction; Logic devices; Physical layer; Protocols; Topology;
Conference_Titel :
Euromicro Conference, 2000. Proceedings of the 26th
Conference_Location :
Maastricht
Print_ISBN :
0-7695-0780-8
DOI :
10.1109/EURMIC.2000.874638