Author of the publication

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

A new approach for selecting inputs of logic functions during debug., and . ISQED, page 166-173. IEEE, (2017)Multiple Error Diagnosis Based on Xlists., , , , and . DAC, page 660-665. ACM Press, (1999)Efficient Sum-to-One Subsets Algorithm for Logic Optimization., and . DAC, page 443-448. IEEE Computer Society Press, (1992)Automatic High-Level Data-Flow Synthesis and Optimization of Polynomial Datapaths Using Functional Decomposition., , , and . IEEE Trans. Computers, 64 (6): 1579-1593 (2015)Lateral State Prediction for Automated Steering using Reliability-Weighted Measurements from Multiple Sensors., , and . ITSC, page 461-466. IEEE, (2007)Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures., , , and . IESS, volume 231 of IFIP Advances in Information and Communication Technology, page 121-134. Springer, (2007)Test pattern generation for multiple stuck-at faults not covered by test patterns for single faults., , , and . ISCAS, page 1-4. IEEE, (2017)Formal verification - prove it or pitch it., , , , , , , , and . DAC, page 710-711. ACM, (2003)Combining Restorability and Error Detection Ability for Effective Trace Signal Selection., , , and . ACM Great Lakes Symposium on VLSI, page 191-196. ACM, (2017)Accelerating Tsunami simulation with FPGA and GPU through automatic compilation.. ACWR, page 79. ACM, (2011)