Sfoglia per Autore
Mixing ATPG and Property Checking for Testing HW/SW Interfaces
2003-01-01 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto
On SAT-applicability to High-Level Testing
2003-01-01 E., Coltro; Fin, Alessandro; Fummi, Franco
Genetic Algorithms: the Philosopher’s Stone or an Effective Solution for High-Level TPG?
2003-01-01 Fin, Alessandro; Fummi, Franco
A SystemC-based Framework for Properties Incompleteness Evaluation
2003-01-01 Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano
LAERTE++: An Object Oriented High-Level TPG for SystemC Designs
2004-01-01 Fin, Alessandro; Fummi, Franco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Mixing ATPG and Property Checking for Testing HW/SW Interfaces | 1-gen-2003 | Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto | |
On SAT-applicability to High-Level Testing | 1-gen-2003 | E., Coltro; Fin, Alessandro; Fummi, Franco | |
Genetic Algorithms: the Philosopher’s Stone or an Effective Solution for High-Level TPG? | 1-gen-2003 | Fin, Alessandro; Fummi, Franco | |
A SystemC-based Framework for Properties Incompleteness Evaluation | 1-gen-2003 | Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano | |
LAERTE++: An Object Oriented High-Level TPG for SystemC Designs | 1-gen-2004 | Fin, Alessandro; Fummi, Franco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile