Pinhong Chen Jyuo-Min Shyu Liang-Gee Chen Hardware Verification Using Symbolic State Transition Graphs. 54-57 1993 ICCD db/conf/iccd/iccd1993.html#ChenSC93