Author of the publication

Handling design and implementation optimizations in equivalence checking for behavioral synthesis.

, , , and . DAC, page 117:1-117:6. ACM, (2013)

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 survey on the industrial readiness for Internet of Things., , and . UEMCON, page 591-596. IEEE, (2017)Handling design and implementation optimizations in equivalence checking for behavioral synthesis., , , and . DAC, page 117:1-117:6. ACM, (2013)A Systematic Investigation of State-of-the-Art SystemC Verification., and . J. Circuits Syst. Comput., 29 (15): 2030013:1-2030013:27 (2020)Deep objectness hashing using large weakly tagged photos., , , , and . Neurocomputing, (2022)Semantic Analysis and Synthesis of Complex Biological Systems., , , and . Int. J. Softw. Eng. Knowl. Eng., 15 (3): 547-570 (2005)A New Precise High Flow Oxygen Therapy System Based on Sliding Mode Control Strategy., , , , and . Complex., (2022)Hierarchical Representations with Discriminative Meta-filters in Dual Path Network for Tracking., , , , , и . PRCV (2), том 12306 из Lecture Notes in Computer Science, стр. 303-315. Springer, (2020)Learning Spatio-Appearance Memory Network for High-Performance Visual Tracking., , , , , и . ICCVW, стр. 2678-2687. IEEE, (2021)Layer Sparse Transformer for Speech Recognition., , и . ICKG, стр. 269-273. IEEE, (2023)Graph-based Keyphrase Extraction Using Word and Document Em beddings., , и . ICKG, стр. 70-76. IEEE, (2020)