( en | de | ru )

 

Disambiguation of "Camurati, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
Diagnosis oriented test pattern generation.

, , , and . EURO-DAC, page 470-474. IEEE Computer Society, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Matricardi

 

Other publications of authors with the same name

A parallel approach to symbolic traversal based on set partitioning., , , , and . CHARME, volume 105 of IFIP Conference Proceedings, page 167-184. Chapman & Hall, (1997)Symbolic exploration of large circuits with enhanced forward/backward traversals., , and . EURO-DAC, page 22-27. IEEE Computer Society, (1994)Formal Verification of Hardware Correctness: Introduction and Survey of Current Research., and . Computer, 21 (7): 8-19 (1988)Decomposed symbolic forward traversals of large finite state machines., , and . EURO-DAC, page 170-175. IEEE Computer Society Press, (1996)A diagnostic test pattern generation algorithm., , , and . ITC, page 52-58. IEEE Computer Society, (1990)Efficient State Space Pruning in Symbolic Backward Traversal., , and . ICCD, page 230-235. IEEE Computer Society, (1994)SAT solver management strategies in IC3: an experimental approach., , , , and . Formal Methods Syst. Des., 50 (1): 39-74 (2017)Verification and synthesis of counters based on symbolic techniques., , , and . ED&TC, page 176-181. IEEE Computer Society, (1997)Cross-fertilizing FSM verification techniques and sequential diagnosis., , , , and . EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)A functional approach to formal hardware verification: the MTI experience., , , and . ICCD, page 592-595. IEEE, (1988)