( en | de | ru )

 

Disambiguation of "Hao, Kecheng"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Wenjin Hao

Xiaofei Hao

Jin Hao

Jun Hao

Yao Hao

 

Other publications of authors with the same name

Validating scheduling transformation for behavioral synthesis., , , , , and . DATE, page 1652-1657. IEEE, (2016)Component-Based Hardware/Software Co-Simulation., , and . DSD, page 265-270. IEEE Computer Society, (2007)Equivalence checking for function pipelining in behavioral synthesis., , and . DATE, page 1-6. European Design and Automation Association, (2014)Optimizing equivalence checking for behavioral synthesis., , , and . DATE, page 1500-1505. IEEE Computer Society, (2010)Formal Verification for High-Assurance Behavioral Synthesis., , , , and . ATVA, volume 5799 of Lecture Notes in Computer Science, page 337-351. Springer, (2009)Equivalence checking for behaviorally synthesized pipelines., , and . DAC, page 344-349. ACM, (2012)Facebook Content Search: Efficient and Effective Adapting Search on A Large Scale., , , , , , , and . SIGIR, page 3290-3294. ACM, (2023)Scalable Certification Framework for Behavioral Synthesis Front-End., , , , , and . DAC, page 149:1-149:6. ACM, (2014)Mechanical Certification of Loop Pipelining Transformations: A Preview., , , and . ITP, volume 8558 of Lecture Notes in Computer Science, page 549-554. Springer, (2014)Componentizing hardware/software interface design., and . DATE, page 232-237. IEEE, (2009)