Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs.

Kiyoharu Hamaguchi, Hidekazu Urushihara, Toshinobu Kashiwabara

Browse the full FMCAD paper archive.