Author of the publication

Efficient multi-layer obstacle-avoiding region-to-region rectilinear steiner tree construction.

, , , , , , , and . DAC, page 45:1-45:6. ACM, (2018)

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.

 

Other publications of authors with the same name

Unified functional decomposition via encoding for FPGA technology mapping., , and . IEEE Trans. Very Large Scale Integr. Syst., 9 (2): 251-260 (2001)Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity., , , and . BioCAS, page 1-4. IEEE, (2019)TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (11): 1723-1733 (2012)Reducing Multi-Valued Algebraic Operations to Binary., , and . IWLS, page 339-344. (2002)Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits., , and . ISMVL, page 200-205. IEEE, (2019)Improving design verifiability by early RTL coverability analysis., , , and . MEMOCODE, page 25-32. IEEE, (2012)A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving., , , and . AAAI, page 1584-1591. AAAI Press, (2019)Compatible Equivalence Checking of X-Valued Circuits., , , , , , , and . ICCAD, page 1-9. IEEE, (2021)Static detection of API call vulnerabilities in iOS executables., , , and . ICSE (Companion Volume), page 394-395. ACM, (2018)Synthesizing multiple boolean functions using interpolation on a single proof., , , , and . FMCAD, page 77-84. IEEE, (2013)