Gang Chen

11 papers C 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2011 J jnl
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.
Comput. J.
Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
2011 J jnl
Formalisation and verification of programmable logic controllers timers in Coq.
IET Softw.
Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
2010 — conf
A Refinement-Based Validation Method for Programmable Logic Controllers.
QSIC
Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu
2010 J jnl
Field programmable gate array prototyping of end-around carry parallel prefix tree architectures.
IET Comput. Digit. Tech.
Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu
2010 J jnl
Formal Analysis of End-Around-Carry Adder in Floating-Point Unit.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
2010 — conf
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders.
ICA3PP (1)
Feng Liu, Qingping Tan, Xiaoyu Song, Gang Chen
2010 J jnl
Formal proof of prefix adders.
Math. Comput. Model.
Feng Liu, Qingping Tan, Gang Chen
2010 J jnl
Proofs of Correctness and Properties of Integer Adder Circuits.
IEEE Trans. Computers
Gang Chen, Feng Liu
2009 C conf
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC.
DSD
Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, Qingping Tan
2009 — conf
Formalization and Verification of PLC Timers in Coq.
COMPSAC (1)
Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
2007 J jnl
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".
ACM Trans. Design Autom. Electr. Syst.
Gang Chen, Xiaoyu Song, Feng Liu, Qingping Tan, Fei He