Author of the publication

ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.

, , , and . ICCAD, page 68:1-68:4. IEEE, (2020)

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

ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite., , , , and . ICCAD, page 265-267. IEEE, (2013)ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite., , , and . ICCAD, page 357-360. IEEE, (2014)Locating Image Objects With Probability Distributions., , , and . IEEE Signal Process. Lett., (2022)ICCAD-2017 CAD contest in resource-aware patch generation., , , and . ICCAD, page 857-862. IEEE, (2017)ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite., , , and . ICCAD, page 916-920. IEEE, (2015)ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk., , , and . ICCAD, page 68:1-68:4. IEEE, (2020)SoC HW/SW verification and validation., , , , and . ASP-DAC, page 297-300. IEEE, (2011)2021 CAD Contest Problem A: Functional ECO with Behavioral Change Guidance Invited Paper., , , , , , and . ICCAD, page 1-6. IEEE, (2021)2019 CAD Contest: Logic Regression on High Dimensional Boolean Space., , , , and . ICCAD, page 1-6. ACM, (2019)2022 CAD Contest Problem A: Learning Arithmetic Operations from Gate-Level Circuit., , , and . ICCAD, page 93:1-93:4. ACM, (2022)