Design for verification of a PCI-X bus model
The importance of re-usable Intellectual Properties (IPs) cores and the system-level design languages have been increasing due to the growing complexity of today's System-on-Chip (SoC) and the need for rapid prototyping. In this respect, the SystemC language is becoming an industrial standard t...
Main Author: | |
---|---|
Format: | Others |
Published: |
2006
|
Online Access: | http://spectrum.library.concordia.ca/8962/1/MR14274.pdf Moinudeen, Haja <http://spectrum.library.concordia.ca/view/creators/Moinudeen=3AHaja=3A=3A.html> (2006) Design for verification of a PCI-X bus model. Masters thesis, Concordia University. |
id |
ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.8962 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.89622013-10-22T03:46:13Z Design for verification of a PCI-X bus model Moinudeen, Haja The importance of re-usable Intellectual Properties (IPs) cores and the system-level design languages have been increasing due to the growing complexity of today's System-on-Chip (SoC) and the need for rapid prototyping. In this respect, the SystemC language is becoming an industrial standard to be used as a modeling language for SoCs at the system level. Nevertheless, it is of paramount importance to have SystemC IPs in particular bus standards in order to facilitate SoC designs using SystemC. PCI-X is the fastest and latest extension of PCI (Peripheral Component Interconnect) technologies that is backward compatible to previous PCI versions. It plays a crucial role in today's SoC since it helps to connect various on chip IPs. In this thesis, we provide a design for verification approach for the PCI-X bus. We use different modeling levels, namely UML, AsmL and SystemC to design and verify the PCI-X. From informal specifications, we first represent the PCI-X model in UML where a precise capture of design requirements is possible. 2006 Thesis NonPeerReviewed application/pdf http://spectrum.library.concordia.ca/8962/1/MR14274.pdf Moinudeen, Haja <http://spectrum.library.concordia.ca/view/creators/Moinudeen=3AHaja=3A=3A.html> (2006) Design for verification of a PCI-X bus model. Masters thesis, Concordia University. http://spectrum.library.concordia.ca/8962/ |
collection |
NDLTD |
format |
Others
|
sources |
NDLTD |
description |
The importance of re-usable Intellectual Properties (IPs) cores and the system-level design languages have been increasing due to the growing complexity of today's System-on-Chip (SoC) and the need for rapid prototyping. In this respect, the SystemC language is becoming an industrial standard to be used as a modeling language for SoCs at the system level. Nevertheless, it is of paramount importance to have SystemC IPs in particular bus standards in order to facilitate SoC designs using SystemC. PCI-X is the fastest and latest extension of PCI (Peripheral Component Interconnect) technologies that is backward compatible to previous PCI versions. It plays a crucial role in today's SoC since it helps to connect various on chip IPs. In this thesis, we provide a design for verification approach for the PCI-X bus. We use different modeling levels, namely UML, AsmL and SystemC to design and verify the PCI-X. From informal specifications, we first represent the PCI-X model in UML where a precise capture of design requirements is possible. |
author |
Moinudeen, Haja |
spellingShingle |
Moinudeen, Haja Design for verification of a PCI-X bus model |
author_facet |
Moinudeen, Haja |
author_sort |
Moinudeen, Haja |
title |
Design for verification of a PCI-X bus model |
title_short |
Design for verification of a PCI-X bus model |
title_full |
Design for verification of a PCI-X bus model |
title_fullStr |
Design for verification of a PCI-X bus model |
title_full_unstemmed |
Design for verification of a PCI-X bus model |
title_sort |
design for verification of a pci-x bus model |
publishDate |
2006 |
url |
http://spectrum.library.concordia.ca/8962/1/MR14274.pdf Moinudeen, Haja <http://spectrum.library.concordia.ca/view/creators/Moinudeen=3AHaja=3A=3A.html> (2006) Design for verification of a PCI-X bus model. Masters thesis, Concordia University. |
work_keys_str_mv |
AT moinudeenhaja designforverificationofapcixbusmodel |
_version_ |
1716607578609287168 |