ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-06012008-131224


Tipo di tesi
Tesi di laurea specialistica
Autore
PICCINETTI, STEFANO
URN
etd-06012008-131224
Titolo
Design and implementation of an eVC component for SpaceWire interface functional verification
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Relatori
Relatore Prof. Dini, Gianluca
Relatore Ing. Vitullo, Francesco Maria
Relatore Prof. Fanucci, Luca
Parole chiave
  • spacewire
  • ESA
  • NASA
  • SpaceWire
  • environment
  • eVC
  • functional
  • verification
  • funzionale
  • verifica
  • HVL
  • HDL
  • Specman
  • VLSI
  • IEEE
  • reuse
Data inizio appello
10/07/2008
Consultabilità
Non consultabile
Data di rilascio
10/07/2048
Riassunto
In digital circuit design flows, functional verification is the task of verifying that the logic design conforms to specification. This is a complex task, and takes the majority of time and effort in most large electronic system design projects (about 60-70% of the project's cost).
Time-to-market must be met not only by hardware designers, but also by the verification engineers. Since isolated testbench tools have certain limitations, to produce a significant boost in productivity a complete verification automation system that offers a comprehensive environment for all aspects of functional verification is needed.
This thesis focuses on the design and implementation of a SpaceWire interface verification environment by means of the Cadence Specman tools and the e language, an Hardware Verification Language (HVL) used for functional verification of digital systems and integrated circuit designs, that represents the current state-of-the-art language for verifying hardware components at various abstraction levels. The so produced verification environment is also called eVC (e Verification Component).
SpaceWire is a standard for high-speed links and networks, based on the IEEE 1355 standard of communications: it is a low cost, low latency, scalable serial interconnection system, originally intended for communication between large numbers of inexpensive computers. SpaceWire is coordinated by the European Space Agency (ESA) in collaboration with several European space companies.
File