P. Prinetto

Formal verification of hardware correctness: introduction and survey of current research

P. Camurati, P. Prinetto · Computer · 1988 · 110 citations

Engineering, Hardware Verification Language, Verification +23

GATTO: a genetic algorithm for automatic test pattern generation for large synchronous sequential circuits

Fulvio Corno, P. Prinetto, Maurizio Rebaudengo et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1996 · 107 citations

Engineering, Computer Architecture, Test Data Generation +19

A diagnostic test pattern generation algorithm

P. Camurati, D. Medina, P. Prinetto et al. · 1990 · 100 citations

Engineering, Diagnosis, Test Data Generation +20

A C/C++ source-to-source compiler for dependable applications

Alfredo Benso, Silvia Chiusano, P. Prinetto et al. · 2002 · 86 citations

Software Maintenance, Engineering, Compiler Technology +20

An automatic test pattern generator for large sequential circuits based on Genetic Algorithms

P. Prinetto, Maurizio Rebaudengo, M. Sonza Reorda · 1994 · 85 citations

Cpu Time, Engineering, Computer Architecture +17