Verification of Transaction Level Models of Embedded Systems

As complexity increases in embedded systems design, there is need for more time for verification purposes. For embedded systems, the only verification that can be done is running test cases, and the number of cases increases exponentially. In order to shorten this verification phase of the design, w...

Fuld beskrivelse

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Yu Lo, Lucky Lochi
Format: Online
Sprog:spa
Udgivet: Universidad de Costa Rica 2013
Fag:
Online adgang:https://revistas.ucr.ac.cr/index.php/ingenieria/article/view/11662
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!