Concepedia

Xiaoyn Song

XS

Statistics

Publications

1

Citations

15

H-Index

1

Active since

2002

Affiliations

Université de Montréal(Current)

Xiaoyn Song is an author at Université de Montréal specializing in software verification, computer architecture, and computer science.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringComputer Architecture

Publications per year

2002–2002

1

Publications

1

Description and verification of RTL designs using multiway decision graphs

Zijian Zhou, Xiaoyn Song, Francisco Corella et al. · 2002 · 15 citations

Engineering, Hardware Verification Language, Verification +20

Rows per page

1–1 of 1