Travelled to:1 × France
2 × Germany
3 × USA
Collaborated with:F.Xie S.Ray Z.Yang S.Dai M.Tan Z.Zhang J.Yang K.Cong L.Lei
Talks about:synthesi (5) behavior (5) equival (4) check (4) pipelin (3) design (2) optim (2) implement (1) framework (1) component (1)
Person: Kecheng Hao
DBLP: Hao:Kecheng
Contributed to:
2014
20142013201220102009Wrote 7 papers:
- DAC-2014-DaiTHZ #pipes and filters #synthesis
- Flushing-Enabled Loop Pipelining for High-Level Synthesis (SD, MT, KH, ZZ), p. 6.
- DAC-2014-YangHCLRX #behaviour #certification #framework #scalability #synthesis
- Scalable Certification Framework for Behavioral Synthesis Front-End (ZY, KH, KC, LL, SR, FX), p. 6.
- DATE-2014-HaoRX #behaviour #equivalence #pipes and filters #synthesis
- Equivalence checking for function pipelining in behavioral synthesis (KH, SR, FX), pp. 1–6.
- DAC-2013-YangRHX #behaviour #design #equivalence #implementation #optimisation #synthesis
- Handling design and implementation optimizations in equivalence checking for behavioral synthesis (ZY, SR, KH, FX), p. 6.
- DAC-2012-HaoRX #behaviour #equivalence #pipes and filters
- Equivalence checking for behaviorally synthesized pipelines (KH, SR, FX), pp. 344–349.
- DATE-2010-HaoXRY #behaviour #equivalence #optimisation #synthesis
- Optimizing equivalence checking for behavioral synthesis (KH, FX, SR, JY), pp. 1500–1505.
- DATE-2009-HaoX #component #design #hardware #interface
- Componentizing hardware/software interface design (KH, FX), pp. 232–237.