• DocumentCode
    357661
  • 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
  • Volume
    1
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    235
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Euromicro Conference, 2000. Proceedings of the 26th
  • Conference_Location
    Maastricht
  • ISSN
    1089-6503
  • Print_ISBN
    0-7695-0780-8
  • Type

    conf

  • DOI
    10.1109/EURMIC.2000.874638
  • Filename
    874638