Statistics
Publications
1
Citations
107
H-Index
1
Active since
1997
Affiliations
Nortel (Canada)(Current)
X. Song is an author at Nortel (Canada) specializing in automated verification, verification, and hardware verification.
Publications per year
1997–1997
1
1
Multiway Decision Graphs for Automated Hardware Verification
Francisco Corella, Zijian Zhou, X. Song et al. · Formal Methods in System Design · 1997 · 107 citations
1–1 of 1