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

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)

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.

Stefano Scarso University of Stuttgart

Other publications of authors with the same name

Full-Symbolic ATPG for Large Circuits.G. Cabodi, P. Camurati, and S. Quer. ITC, page 980-988. IEEE Computer Society, (1994)Computing subsets of equivalence classes for large FSMs.G. Cabodi, S. Quer, and P. Camurati. EURO-DAC, page 288-293. IEEE Computer Society, (1995)Incremental re-encoding for symbolic traversal of product machines.G. Cabodi, P. Camurati, L. Lavagno, S. Quer, R. Brayton, and E. Sentovich. EURO-DAC, page 158-163. IEEE Computer Society Press, (1996)Auxiliary variables for BDD-based representation and manipulation of Boolean functions.G. Cabodi, P. Camurati, and S. Quer. ACM Trans. Design Autom. Electr. Syst., 3 (3): 309-340 (1998)A Greedy Approach to Answer Reachability Queries on DAGs.N. Boria, G. Cabodi, P. Camurati, M. Palena, P. Pasini, and S. Quer. CoRR, (2016)Binary Decision Diagrams and the Multiple Variable Order ProblemG. Cabodi, S. Quer, C. Meinel, H. Sack, A. Slobodová, and C. Stangier. Universität Trier, Mathematik/Informatik, Forschungsbericht, (1998)A BMC-based formulation for the scheduling problem of hardware systems.G. Cabodi, A. Kondratyev, L. Lavagno, S. Nocco, S. Quer, and Y. Watanabe. STTT, 7 (2): 102-117 (2005)Model checking evaluation of airplane landing trajectories.S. Quer. STTT, 16 (6): 753-773 (2014)Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths.G. Cabodi, P. Camurati, and S. Quer. DAC, page 289-293. ACM Press, (1994)System-level power optimization of special purpose applications: the beach solution.L. Benini, G. Micheli, E. Macii, M. Poncino, and S. Quer. ISLPED, page 24-29. ACM, (1997)

PUMA

Disambiguation of "Quer, Stefano"

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

Verification and synthesis of counters based on symbolic techniques.

Please choose a person to relate this publication to

Stefano Scarso University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Quer, Stefano"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Verification and synthesis of counters based on symbolic techniques.

Please choose a person to relate this publication to

Stefano Scarso University of Stuttgart

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

Verification and synthesis of counters based on symbolic techniques.