Algorithmic Synthesis of High Level Tests for Data Path Designs. - Nirmal R. Saxena; Ravi Tangirala; Ajay Srivastava (FTCS, 1993)