( en | de | ru )

 

Disambiguation of "Cortadella, Jordi"

Author of the publication

copydeleteadd this publication to your clipboard
Checking signal transition graph implementability by symbolic BDD traversal.

, , , , , and . ED&TC, page 325-332. IEEE Computer Society, (1995)

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.

Alexander Jording

Guido Jordine

Jordi Serangeli

Jordi Serratosa

Ulrich Jordi

 

Other publications of authors with the same name

SafeRazor: Metastability-Robust Adaptive Clocking in Resilient Circuits., , , , and . IEEE Trans. Circuits Syst. I Regul. Pap., 62-I (9): 2238-2247 (2015)Computing the full quotient in bi-decomposition by approximation., , , and . DATE, page 580-585. IEEE, (2020)The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems., , , , and . Journal of Circuits, Systems, and Computers, 8 (1): 67-118 (1998)State-Based Encoding of Large Asynchronous Controllers., and . IEEE Access, (2018)Petri Net Analysis Using Boolean Manipulation., , , and . Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 416-435. Springer, (1994)Synthesis of synchronous elastic architectures., , and . DAC, page 657-662. ACM, (2006)Timing-driven N-way decomposition., , and . ACM Great Lakes Symposium on VLSI, page 363-368. ACM, (2009)A Boolean Rule-Based Approach for Manufacturability-Aware Cell Routing., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 33 (3): 409-422 (2014)Automatic microarchitectural pipelining., , , and . DATE, page 961-964. IEEE Computer Society, (2010)RTL-Aware Dataflow-Driven Macro Placement., , , , and . DATE, page 186-191. IEEE, (2019)