( en | de | ru )

 

Disambiguation of "Camurati, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic traversals of data paths with auxiliary variables.

, , and . Great Lakes Symposium on VLSI, page 93-96. IEEE, (1994)

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 Pierobon

 

Other publications of authors with the same name

Symbolic traversals of data paths with auxiliary variables., , and . Great Lakes Symposium on VLSI, page 93-96. IEEE, (1994)SAT solver management strategies in IC3: an experimental approach., , , , and . Formal Methods Syst. Des., 50 (1): 39-74 (2017)TPDL: Extended Temporal Profile Description Language., , , and . Softw. Pract. Exp., 21 (4): 355-374 (1991)Cross-fertilizing FSM verification techniques and sequential diagnosis., , , , and . EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)Verification and synthesis of counters based on symbolic techniques., , , and . ED&TC, page 176-181. IEEE Computer Society, (1997)A functional approach to formal hardware verification: the MTI experience., , , and . ICCD, page 592-595. IEEE, (1988)Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking., , , , , and . FMCAD, page 1-8. IEEE, (2008)Automated abstraction by incremental refinement in interpolant-based model checking., , and . ICCAD, page 129-136. IEEE Computer Society, (2008)A simulation-based approach to test pattern generation for synchronous sequential circuits., , , and . VTS, page 263-267. IEEE Computer Society, (1992)Diagnosis oriented test pattern generation., , , and . EURO-DAC, page 470-474. IEEE Computer Society, (1990)