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

Designing asynchronous circuits from behavioural specifications with internal conflicts.

J. Cortadella, L. Lavagno, P. Vanbekbergen, and A. Yakovlev. ASYNC, page 106-115. 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.

Dr. Jordi Mauri University of Stuttgart

Other publications of authors with the same name

Automatic microarchitectural pipelining.M. Oms, J. Cortadella, D. Bufistov, and M. Kishinevsky. DATE, page 961-964. IEEE, (2010)Optimizing CMOS Circuits for Low Power Using Transistor Reordering.E. Musoll, and J. Cortadella. ED&TC, page 219-223. IEEE Computer Society, (1996)Process Mining Meets Abstract Interpretation.J. Carmona, and J. Cortadella. ECML/PKDD (1), volume 6321 of Lecture Notes in Computer Science, page 184-199. Springer, (2010)Elastic systems.J. Cortadella, M. Oms, and M. Kishinevsky. MEMOCODE, page 149-158. IEEE Computer Society, (2010)SafeRazor: Metastability-Robust Adaptive Clocking in Resilient Circuits.M. Cannizzaro, S. Beer, J. Cortadella, R. Ginosar, and L. Lavagno. IEEE Trans. on Circuits and Systems, 62-I (9): 2238-2247 (2015)RTL-Aware Dataflow-Driven Macro Placement.A. Vidal-Obiols, J. Cortadella, J. Petit, M. Oms, and F. Martorell. DATE, page 186-191. IEEE, (2019)Petri Net Analysis Using Boolean Manipulation.E. Pastor, O. Roig, J. Cortadella, and R. Badia. Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 416-435. Springer, (1994)State Encoding of Asynchronous Controllers Using Pseudo-Boolean Optimization.A. Moreno, and J. Cortadella. ASYNC, page 9-16. IEEE Computer Society, (2018)Verification of timed circuits with symbolic delays.R. Clarisó, and J. Cortadella. ASP-DAC, page 628-633. IEEE Computer Society, (2004)Integrating formal verification in an online judge for e-Learning logic circuit design.J. de San Pedro, J. Carmona, J. Cortadella, and J. Petit. SIGCSE, page 451-456. ACM, (2012)

PUMA

Disambiguation of "Cortadella, Jordi"

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

Designing asynchronous circuits from behavioural specifications with internal conflicts.

Please choose a person to relate this publication to

Dr. Jordi Mauri University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Cortadella, Jordi"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Designing asynchronous circuits from behavioural specifications with internal conflicts.

Please choose a person to relate this publication to

Dr. Jordi Mauri 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

Designing asynchronous circuits from behavioural specifications with internal conflicts.