Sharad Bagri, Kelson Gent, Michael S. Hsiao. Signal domain based reachability analysis in RTL circuits. In Sixteenth International Symposium on Quality Electronic Design, ISQED 2015, Santa Clara, CA, USA, March 2-4, 2015. pages 250-256, IEEE, 2015. [doi]
Abstract is missing.