Zou Xueyi is an author at Beihang University specializing in computer science, formal verification, and systems engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceEmbedded SystemsProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2011–2011
1
1
The methods of FPGA software verification
Zheng Ding, Yichen Wang, Zou Xueyi · 2011 · 11 citations
Engineering, Hardware Verification Language, Verification +18
Rows per page
1–1 of 1