Hardware verification using symbolic state transition graphs

Journal

IEEE International Conference on Computer Design: VLSI in Computers and Processors

Pages

54-57

Date Issued

1993

Author(s)

Chen, Pinhong

Shyu, Jyuo-Min

Chen, Liang-Gee

URI

Type

conference paper