Searching for authors named "Matteo Sonza Reorda" – sorted by Relevance.
-
Soft-error Detection through Software Fault-Tolerance techniques
- Soft-error Detection through Software Fault-Tolerance techniques Maurizio REBAUDENGO, Matteo SONZA
- Cited by 19 (9 self) – Add To MetaCart
-
Simulation-Based Sequential Equivalence Checking
- Simulation-Based Sequential Equivalence Checking of RTL VHDL Fulvio Corno, Matteo Sonza Reorda
- Cited by 4 (2 self) – Add To MetaCart
-
Using Symbolic Techniques to find the Maximum Clique in Very Large Sparse Graphs
- , Paolo PRINETTO, Matteo SONZA REORDA Politecnico di Torino Dipartimento di Automatica e Informatica
- Cited by 3 (0 self) – Add To MetaCart
-
Effective Techniques for High-Level ATPG
- Effective Techniques for High-Level ATPG Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda
- Cited by 1 (0 self) – Add To MetaCart
-
Testability Analysis and Atpg on Behavioral RT-level VHDL
- SONZA REORDA Abstract This paper proposes an environment to address Testability Analysis and Test
- Cited by 6 (0 self) – Add To MetaCart
-
The Selfish Gene Algorithm: a new Evolutionary Optimization Strategy
- The Selfish Gene Algorithm: a new Evolutionary Optimization Strategy Fulvio CORNO, Matteo SONZA
- Cited by 15 (6 self) – Add To MetaCart
-
Exploiting Competing Subpopulations for Automatic Generation of Test Sequences for Digital Circuits
- Circuits 1 Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda Politecnico di Torino
- Cited by 4 (0 self) – Add To MetaCart
-
An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications
- -critical applications Maurizio REBAUDENGO, Matteo SONZA REORDA, Marco TORCHIANO, Massimo VIOLANTE Politecnico di
- Cited by 2 (2 self) – Add To MetaCart
-
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
- Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero Politecnico di Torino Dipartimento di Automatica e
- Cited by 1 (1 self) – Add To MetaCart
-
Partial scan flip flop selection for simulation-based sequential ATPGs
- PRINETTO, Maurizio REBAUDENGO, Matteo SONZA REORDA Abstract * The partial scan approach is now widely
- Cited by 3 (0 self) – Add To MetaCart

