Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs. - Kiyoharu Hamaguchi; Hidekazu Urushihara; Toshinobu Kashiwabara (FMCAD, 2000)