Nirmal R. Saxena Ravi Tangirala Ajay Srivastava Algorithmic Synthesis of High Level Tests for Data Path Designs. 360-369 1993 conf/ftcs/1993 FTCS db/conf/ftcs/ftcs93.html#SaxenaTS93 http://doi.ieeecomputersociety.org/10.1109/FTCS.1993.627339