1 × Germany
1 × USA
Y.Ho C.Hsieh C.(.Huang K.Tang P.Huang C.Huang
multi (2) interpol (1) cofactor (1) generat (1) system (1) symbol (1) reduct (1) rectif (1) design (1) patch (1)
Person: Chun-Nan Chou
Wrote 2 papers:
- DAC-2012-ChouHHH #design #model checking
- Symbolic model checking on SystemC designs (CNC, YSH, CH, CY(H), pp. 327–333.
- 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.