Travelled to:
1 × Germany
1 × USA
Collaborated with:
K.Tang C.Chou C.Huang C.Wu C.(.Huang
Talks about:
multi (3) interpol (2) rectif (2) logic (2) error (2) increment (1) synthesi (1) cofactor (1) generat (1) reduct (1)
Person: Po-Kai Huang
DBLP: Huang:Po=Kai
Contributed to:
Wrote 2 papers:
- DATE-2012-TangHCH #generative #logic #multi #reduction
- Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.
- DAC-2011-TangWHH #incremental #logic #multi #synthesis
- Interpolation-based incremental ECO synthesis for multi-error logic rectification (KFT, CAW, PKH, CY(H), pp. 146–151.