A methodology and framework to assist in the architecture design and functional verification of complex electronic systems
- Tomasena, Koldo
- Igone Velez Isasmendi Doktormutter
- Juan Sevillano Berasategui Doktorvater
Universität der Verteidigung: Universidad de Navarra
Fecha de defensa: 12 von Juli von 2013
- Andrés García-Alonso Montoya Präsident/in
- Andoni Irizar Picón Sekretär
- Jon Legarda Macon Vocal
- Miguel Soto Rodríguez Vocal
- Francisco Javier del Pino Suárez Vocal
Art: Dissertation
Zusammenfassung
An integrated, powerful and flexible development environment has been created in this research work in order to simulate and verify electronic systems starting from a very high abstraction level. The system architecture design, the algorithm tuning and the functional verification can be performed efficiently early in the development process by means the proposed contributions