Shao Jie Zhang Yang Liu 0003 Jun Sun 0001 Jin Song Dong Wei Chen Yanhong A. Liu Formal Verification of Scalable NonZero Indicators. 406-411 2009 SEKE conf/seke/2009 db/conf/seke/seke2009.html#ZhangLSDCL09