Xiaoyu Song

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq

Qian Wang and others (2015) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers

Functional Verification of High Performance Adders in COQ

Qian Wang and others (2014) · Wiley