Sfoglia per Autore
Reduction of fault detection costs through testable design of sequential architectures with signal feedbacks
1993-01-01 Bombana, M.; Buonanno, G.; Cavalloro, P.; Ferrandi, Fabrizio; Sciuto, Donatella; Zaza, G.
Reduction of fault detection costs through a BDD formalism
1994-01-01 Ferrandi, Fabrizio
ALADIN: a multilevel testability analyzer for VLSI system design
1994-01-01 M., Bombana; G., Buonanno; P., Cavalloro; Ferrandi, Fabrizio; Sciuto, Donatella; G., Zaza
Towards WSI testable devices: an improved scan insertion technique
1995-01-01 Bolchini, Cristiana; G., Buonanno; Ferrandi, Fabrizio; Sciuto, Donatella; M., Bombana; P., Cavalloro; G., Zaza
A Wafer Level Testability Approach Based on an Improved Scan Insertion Technique
1995-01-01 Bolchini, Cristiana; M., Bombana; G., Buonanno; P., Cavalloro; Ferrandi, Fabrizio; Sciuto, Donatella
Data-path testability analysis based on BDDs
1995-01-01 Buonanno, G.; Ferrandi, Fabrizio; Sciuto, Donatella
Symbolic optimization of FSM networks based on sequential ATPG techniques
1996-01-01 Ferrandi, Fabrizio; F., Fummi; E., Macii; M., Poncino; Sciuto, Donatella
Testability analysis of pipelined data paths
1996-01-01 G., Buonanno; Ferrandi, Fabrizio; Sciuto, Donatella
Implicit test sequences compaction for decreasing test application cost
1996-01-01 R., Bevacqua; Ferrandi, Fabrizio; F., Fummi; L., Guerrazzi
Test generation for networks of interacting FSMs using symbolic techniques
1996-01-01 Ferrandi, Fabrizio; F., Fummi; E., Macii; M., Poncino; Sciuto, Donatella
BDD-based testability estimation of VHDL designs
1996-01-01 Ferrandi, Fabrizio; F., Fummi; E., Macii; M., Poncino; Sciuto, Donatella
How an ''evolving'' fault model improves the behavioral test generation
1997-01-01 G., Buonanno; Ferrandi, Fabrizio; L., Ferrandi; F., Fummi; Sciuto, Donatella
Application of a testing framework to VHDL descriptions at different abstraction levels
1997-01-01 M., Bacis; G., Buonanno; Ferrandi, Fabrizio; F., Fummi; L., Gerli; Sciuto, Donatella
Property verification in the design of telecom applications
1997-01-01 M., Bombana; P., Cavalloro; Ferrandi, Fabrizio
Configuration-specific test pattern extraction for field programmable gate arrays
1997-01-01 Ferrandi, Fabrizio; F., Fummi; L., Pozzi; M. G., Sami
Testing Core-based Digital Systems: a Symbolic Methodology
1997-01-01 Ferrandi, Fabrizio; F., Fummi; E., Macii; M., Poncino; Sciuto, Donatella
Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits
1998-01-01 Ferrandi, Fabrizio; A., Macii; E., Macii; M., Poncino; R., Scarsi; F., Somenzi
Implicit test generation for behavioral VHDL models
1998-01-01 Ferrandi, Fabrizio; Fummi, F.; Sciuto, Donatella
Power estimation of behavioral descriptions
1998-01-01 Ferrandi, Fabrizio; F., Fummi; E., Macii; M., Poncino; Sciuto, Donatella
VHDL testability analysis based on fault clustering and implicit fault injection
1998-01-01 F. S., Bietti; Ferrandi, Fabrizio; F., Fummi; Sciuto, Donatella
Automatic VHDL restructuring for RTL synthesis optimization and testability improvement
1998-01-01 D., Corvino; I., Epicoco; Ferrandi, Fabrizio; F., Fummi; 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
Testability Alternatives Exploration through Functional Testing
2000-01-01 Ferrandi, Fabrizio; G., Ferrara; G., Fornara; F., Fummi; Sciuto, Donatella
BIST Architectures Selection Based on Behavioral Testing
2000-01-01 G., Biasoli; Ferrandi, Fabrizio; A., Fin; F., Fummi; Sciuto, Donatella
An Efficient Heuristic Approach to Solve the Unate Covering Problem
2000-01-01 R., Calvo; R., Cordone; 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
An Approach to Functional Testing of VLIW Architectures
2000-01-01 M., Beardo; Bruschi, Francesco; Ferrandi, Fabrizio; Sciuto, Donatella
An Application of Genetic Algorithms and BDDs to Functional Testing
2000-01-01 Ferrandi, Fabrizio; A., Fin; F., Fummi; 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
Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications
2002-01-01 Ferrandi, Fabrizio; Fummi, F.; Sciuto, Donatella
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
Functional verification for SystemC descriptions using constraint solving
2002-01-01 Ferrandi, Fabrizio; M., Rendine; Sciuto, Donatella
Identification of Design Errors through Functional Testing
2003-01-01 Ferrandi, Fabrizio; F., Fummi; G., Pravadelli; Sciuto, Donatella
Functional Test Generation
2003-01-01 Ferrandi, Fabrizio; F., Fummi; Sciuto, Donatella
Synthesis of complex control structures from behavioral SystemC models
2003-01-01 Bruschi, Francesco; Ferrandi, Fabrizio
Mining Interesting Patterns from Hardware-Software Codesign Data with the Learning Classifier System XCS
2003-01-01 Ferrandi, Fabrizio; Lanzi, PIER LUCA; Sciuto, Donatella
System Level Hardware--Software Design Exploration with XCS
2004-01-01 Ferrandi, Fabrizio; Lanzi, PIER LUCA; Sciuto, Donatella
System-level metrics for hardware/software architectural mapping
2004-01-01 Ferrandi, Fabrizio; Lanzi, PIER LUCA; Sciuto, Donatella; Tanelli, Mara
Exploiting partial dynamic reconfiguration for SoC design of complex application on FPGA platforms
2005-01-01 A., Donato; Ferrandi, Fabrizio; Redaelli, Massimo; Santambrogio, MARCO DOMENICO; Sciuto, Donatella
Solving the Coloring Problem to Schedule on Partially Dynamically Reconfigurable Hardware
2005-01-01 Ferrandi, Fabrizio; M., Redaelli; Santambrogio, MARCO DOMENICO; Sciuto, Donatella
Operating system support for dynamically reconfigurable SoC architectures
2005-01-01 A., Donato; Ferrandi, Fabrizio; M., Redaelli; Santambrogio, MARCO DOMENICO; Sciuto, Donatella
A Framework for the Functional Verification of SystemC Models
2005-01-01 Bruschi, Francesco; Ferrandi, Fabrizio; Sciuto, Donatella
Caronte: a complete methodology to implement partially dynamically self-reconfiguring embedded systems on modern FPGA
2005-01-01 A., Donato; Ferrandi, Fabrizio; M., Redaelli; Santambrogio, MARCO DOMENICO; Sciuto, Donatella
A Design Methodology for Dynamic Reconfiguration: The Caronte Architecture
2005-01-01 Ferrandi, Fabrizio; Santambrogio, MARCO DOMENICO; Sciuto, Donatella
SyCERS: a SystemC design exploration framework for SoC reconfigurable architecture
2006-01-01 C., Amicucci; Ferrandi, Fabrizio; Santambrogio, MARCO DOMENICO; Sciuto, Donatella
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