Sfoglia per Autore
Implicit test generation for behavioral VHDL models
1998-01-01 Ferrandi, Fabrizio; Fummi, F.; Sciuto, Donatella
Increase the behavioral fault model accuracy using high-level synthesis information
1999-01-01 M., Brera; Ferrandi, Fabrizio; Sciuto, Donatella; F., Fummi
Symbolic functional vector generation for VHDL specifications
1999-01-01 Ferrandi, Fabrizio; F., Fummi; L., Gerli; Sciuto, Donatella
An Efficient Heuristic Approach to Solve the Unate Covering Problem
2000-01-01 R., Calvo; R., Cordone; Ferrandi, Fabrizio; Sciuto, Donatella
BIST Architectures Selection Based on Behavioral Testing
2000-01-01 G., Biasoli; Ferrandi, Fabrizio; A., Fin; F., Fummi; Sciuto, Donatella
An Application of Genetic Algorithms and BDDs to Functional Testing
2000-01-01 Ferrandi, Fabrizio; A., Fin; F., Fummi; Sciuto, Donatella
Testability Alternatives Exploration through Functional Testing
2000-01-01 Ferrandi, Fabrizio; G., Ferrara; G., Fornara; F., Fummi; Sciuto, Donatella
An Approach to Functional Testing of VLIW Architectures
2000-01-01 M., Beardo; Bruschi, Francesco; Ferrandi, Fabrizio; Sciuto, Donatella
Symbolic optimization of interacting controllers based on redundancy identification and removal
2000-01-01 Ferrandi, Fabrizio; F., Fummi; E., Macii; P., Massimo; Sciuto, Donatella
Requirements for synthesis-oriented modeling in SystemC
2001-01-01 A., Allara; M., Bombana; P., Cavalloro; Ferrandi, Fabrizio
Semiconcurrent error detection in data paths
2001-01-01 Antola, ANNA MARIA; Ferrandi, Fabrizio; V., Piuri; Sami, Mariagiovanna
Functional Test Generation for Behaviorally Sequential Models
2001-01-01 Ferrandi, Fabrizio; G., Ferrara; A., Fin; F., Fummi; Sciuto, Donatella
An Efficient Heuristic Approach to Solve the Unate Covering Problem
2001-01-01 R., Cordone; Ferrandi, Fabrizio; Sciuto, Donatella; R., Wolfler Calvo
Error simulation based on the SystemC design description language
2002-01-01 Bruschi, Francesco; M., Chiamenti; Ferrandi, Fabrizio; Sciuto, Donatella
Behavioral test generation for the selection of BIST logic
2002-01-01 Biasoli, Giuseppe; Ferrandi, Fabrizio; Fin, Alessandro; Fummi, Franco; Sciuto, Donatella
Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications
2002-01-01 Ferrandi, Fabrizio; Fummi, F.; Sciuto, Donatella
Functional verification for SystemC descriptions using constraint solving
2002-01-01 Ferrandi, Fabrizio; M., Rendine; Sciuto, Donatella
Functional Test Generation
2003-01-01 Ferrandi, Fabrizio; F., Fummi; Sciuto, Donatella
Identification of Design Errors through Functional Testing
2003-01-01 Ferrandi, Fabrizio; F., Fummi; G., Pravadelli; Sciuto, Donatella
Synthesis of complex control structures from behavioral SystemC models
2003-01-01 Bruschi, Francesco; Ferrandi, Fabrizio
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