Authors: Jones, RB O'Leary, JW Seger, CJH Aagaard, MD Melham, TF

Citation: Rb. Jones et al., Practical formal verification in microprocessor design, IEEE DES T, 18(4), 2001, pp. 16-25