Hardware verification using symbolic state transition graphs

Resource

Computer Design: VLSI in Computers and Processors, 1993. ICCD '93. Proceedings., 1993 IEEE International Conference on

Journal

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

Pages

-

Date Issued

1993-10

Date

1993-10

Author(s)

Chen, Pin-hong

Shyu, Jyuo-Min

DOI

DOI

N/A

URI

Type

journal article

File(s)

Name

00393406.pdf

Size

387.81 KB

Format

Adobe PDF

Checksum

(MD5):9a2df8a1aebcd4bb531eea0d453758c9