Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Cross-fertilizing FSM verification techniques and sequential diagnosis.

G. Cabodi, P. Camurati, F. Corno, P. Prinetto, and M. Reorda. EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)

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

A parallel approach to symbolic traversal based on set partitioning.G. Cabodi, P. Camurati, A. Lioy, M. Poncino, and S. Quer. CHARME, volume 105 of IFIP Conference Proceedings, page 167-184. Chapman & Hall, (1997)Symbolic exploration of large circuits with enhanced forward/backward traversals.G. Cabodi, P. Camurati, and S. Quer. EURO-DAC, page 22-27. IEEE Computer Society, (1994)Formal Verification of Hardware Correctness: Introduction and Survey of Current Research.P. Camurati, and P. Prinetto. Computer, 21 (7): 8-19 (1988)Decomposed symbolic forward traversals of large finite state machines.S. Quer, G. Cabodi, and P. Camurati. EURO-DAC, page 170-175. IEEE Computer Society Press, (1996)Efficient State Space Pruning in Symbolic Backward Traversal.G. Cabodi, P. Camurati, and S. Quer. ICCD, page 230-235. IEEE Computer Society, (1994)A diagnostic test pattern generation algorithm.P. Camurati, D. Medina, P. Prinetto, and M. Reorda. ITC, page 52-58. IEEE Computer Society, (1990)A simulation-based approach to test pattern generation for synchronous sequential circuits.P. Camurati, F. Corno, F. Prinetto, and M. Reorda. VTS, page 263-267. IEEE Computer Society, (1992)SAT solver management strategies in IC3: an experimental approach.G. Cabodi, P. Camurati, A. Mishchenko, M. Palena, and P. Pasini. Formal Methods Syst. Des., 50 (1): 39-74 (2017)Cross-fertilizing FSM verification techniques and sequential diagnosis.G. Cabodi, P. Camurati, F. Corno, P. Prinetto, and M. Reorda. EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)Verification and synthesis of counters based on symbolic techniques.G. Cabodi, P. Camurati, L. Lavagno, and S. Quer. ED&TC, page 176-181. IEEE Computer Society, (1997)

BibSonomy

Disambiguation of "Camurati, Paolo"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Cross-fertilizing FSM verification techniques and sequential diagnosis.

Please choose a person to relate this publication to

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Pierobon

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Camurati, Paolo"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Cross-fertilizing FSM verification techniques and sequential diagnosis.

Please choose a person to relate this publication to

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Pierobon

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Cross-fertilizing FSM verification techniques and sequential diagnosis.