Author of the publication

Trace signal selection to enhance timing and logic visibility in post-silicon validation.

, and . ICCAD, page 168-172. IEEE, (2010)

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

Signal Coverage Computation in Formal Verification., and . VLSI-SoC, page 92-97. IEEE, (2006)A pareto-algebraic framework for signal power optimization in global routing., , , and . ISLPED, page 407-412. ACM, (2010)Planning for local net congestion in global routing., , and . ISPD, page 85-92. ACM, (2013)SPaC: a symbolic pareto calculator., , , and . CODES+ISSS, page 179-184. ACM, (2008)"Constructing Machine Learning models for Orthodontic Treatment Planning: a comparison of different methods"., and . IEEE Big Data, page 2790-2799. IEEE, (2022)Trace signal selection to enhance timing and logic visibility in post-silicon validation., and . ICCAD, page 168-172. IEEE, (2010)TED+: a data structure for microprocessor verification., , , , and . ASP-DAC, page 567-572. ACM Press, (2005)A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management., , , , , and . DAC, page 917-922. ACM, (2009)Learning Semantic Representations to Verify Hardware Designs., , , , , , and . NeurIPS, page 23491-23504. (2021)Confidentiality preserving integer programming for global routing., , and . DAC, page 709-716. ACM, (2012)