Sfoglia per Autore
FSM fault models impact on test performances
1993-01-01 Bolchini, Cristiana; F., Fummi
Two-Dimensional Sequential Array Architectures: Design for Testability and Reconfiguration Issues
1993-01-01 Bolchini, Cristiana; F., Fummi; Sciuto, Donatella
A design methodology for the correct specification of VLSI systems
1993-01-01 Bolchini, Cristiana; M., Bombana; P., Cavalloro; C., Costi; F., Fummi; G., Zaza
CMOS Reliability Improvements Through a New Fault Tolerant Technique
1994-01-01 Bolchini, Cristiana; G., Buonanno; Sciuto, Donatella; R., Stefanelli
Two-Dimensional Sequential Array Architectures: Design for Testability Approaches
1994-01-01 Bolchini, Cristiana; Fummi, F.; Sciuto, Donatella
Design for testability issues in the implementation of sequential array architectures
1994-01-01 G., Bezzi; Bolchini, Cristiana; I., Bolzoni; S., Cantù; F., Fummi; Sciuto, Donatella
A CMOS fault tolerant architecture for switch-level faults
1994-01-01 Bolchini, Cristiana; G., Buonanno; Sciuto, Donatella; R., Stefanelli
CASTOR: a computer aided system testability optimizer
1994-01-01 Bolchini, Cristiana
CASTOR: an expert advisor for testability enhancement of VLSI systems
1994-01-01 G., Bezzi; Bolchini, Cristiana; I., Bolzoni; M., Bombana; G., Buonanno; S., Cantù; P., Cavalloro; Sciuto, Donatella; G., Zaza
A state encoding for self-checking finite state machines
1995-01-01 Bolchini, Cristiana; R., Montandon; Salice, Fabio; Sciuto, Donatella
Self-checking FSMs based on a constant distance state encoding
1995-01-01 Bolchini, Cristiana; R., Montandon; Salice, Fabio; Sciuto, Donatella
An output/state encoding for self-checking finite state machine
1995-01-01 Bolchini, Cristiana; Sciuto, Donatella
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
A new switching-level approach to multiple-output functions synthesis
1995-01-01 Bolchini, Cristiana; G., Buonanno; Sciuto, Donatella; R., Stefanelli
CMOS Fault Tolerant Architectures for Switch level faults
1995-01-01 Bolchini, Cristiana; G., Buonanno; Sciuto, Donatella; R., Stefanelli
Innovative design of CMOS fault tolerant structures
1995-01-01 Bolchini, Cristiana; G., Buonanno; Sciuto, Donatella; R., Stefanelli
A BDD based algorithm for detecting difficult faults
1995-01-01 Bolchini, Cristiana; F., Fummi; R., Gemelli; Salice, Fabio
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
Static redundancy techniques for CMOS gates
1996-01-01 Bolchini, Cristiana; G., Buonanno; Sciuto, Donatella; R., Stefanelli
Software methodologies for VHDL code static analysis based on flow graphs
1996-01-01 Baresi, Luciano; Bolchini, Cristiana; Sciuto, Donatella
Fault detection and fault tolerance issues at CMOS level through AUED encoding
1996-01-01 Bolchini, Cristiana; G., Buonanno; Sciuto, Donatella; R., Stefanelli
Redundant faults in TSC networks: definition and removal
1996-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
Design of Totally Self Checking Checkers for a Class of Constant Hamming Distance Codes
1997-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
Software Methodologies for VHDL Code Static Analysis
1997-01-01 Baresi, Luciano; Bolchini, Cristiana
A novel methodology for designing TSC networks based on the parity bit code
1997-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
Parity bit code: achieving a complete fault coverage in the design of TSC combinational networks
1997-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
A TSC evaluation function for combinational circuits
1997-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
Conditions for the design of circuits with concurrent error detection properties
1997-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
An improved fault tolerant architecture at CMOS level
1997-01-01 Bolchini, Cristiana; G., Buonanno; Sciuto, Donatella; R., Stefanelli
Designing networks with error detection properties through the fault-error relation
1997-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
A scalar cost function for analyzing the quality of totally self-checking design methodologies
1997-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
Designing ad-hoc codes for the realization of fault tolerant CMOS networks
1997-01-01 Bolchini, Cristiana; G., Buonanno; M., Cozzini; Sciuto, Donatella; R., Stefanelli
Fault analysis in networks with concurrent error detection properties
1998-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
Fault Analysis for Networks with Concurrent Error Detection Properties
1998-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
Concurrent error detection at architectural level
1998-01-01 Bolchini, Cristiana; Fornaciari, William; Salice, Fabio; Sciuto, Donatella
Guidelines for Property Verification of VHDL Models: an Industrial Perspective
1998-01-01 Allara, Alberto; Bolchini, Cristiana; P., Cavalloro; Comai, Sara; Sciuto, Donatella
High Level Synthesis for Concurrent Error Detection
1998-01-01 Bolchini, Cristiana; Fornaciari, William; Salice, Fabio; Sciuto, Donatella
A synthesis methodology aimed at improving the quality of TSC devices
1999-01-01 Bolchini, Cristiana; L., Pomante; Salice, Fabio; Sciuto, Donatella
The design of Self-Checking Systems
2000-01-01 Bolchini, Cristiana; Salice, Fabio
Design of VHDL based Totally Self-Checking Finite State machine and Data Path descriptions
2000-01-01 Bolchini, Cristiana; R., Montandon; Salice, Fabio; Sciuto, Donatella
Designing Reliable Embedded Systems Based on 32 Bit Microprocessors
2001-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
Reliability Properties Assessment at System Level: A Co-design Framework
2001-01-01 Bolchini, Cristiana; Pomante, Luigi; Salice, Fabio; Sciuto, Donatella
On-Line Fault Detection in a Hardware/Software Co-design Environment
2001-01-01 Bolchini, Cristiana; Pomante, Luigi; Salice, Fabio; Sciuto, Donatella
A Software Methodology for detecting Hardware Faults in VLIW Data Paths
2001-01-01 Bolchini, Cristiana; Pomante, Luigi; Salice, Fabio
Physical and Logical Data Structures for Very Small Databases
2002-01-01 Bolchini, Cristiana; Salice, Fabio; Schreiber, FABIO ALBERTO; Tanca, Letizia
Smart Card Embedded Information Systems: a Methodology for Privacy Oriented Architectural Design
2002-01-01 Bolchini, Cristiana; Schreiber, FABIO ALBERTO
Designing Self-Checking FPGAs Through Error Detection Codes
2002-01-01 Bolchini, Cristiana; Salice, Fabio; Sciuto, Donatella
A System Level Approach in Designing Dual-Duplex Fault Tolerant Embedded Systems
2002-01-01 Bolchini, Cristiana; Pomante, Luigi; Salice, Fabio; Sciuto, Donatella
Reliability Properties Assessment at System Level: A Co-design Framework
2002-01-01 Bolchini, Cristiana; L., Pomante; Salice, Fabio; Sciuto, Donatella
Logical and Physical Design Issues for Smart Card Databases
2003-01-01 Bolchini, Cristiana; Salice, Fabio; Schreiber, FABIO ALBERTO; Tanca, Letizia
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