Detection of equivalent state variables in finite state machine verification

C.A.J. Eijk, van, J.A.G. Jess

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 1995 ACM/IEEE International Workshop on Logic Synthesis
Pages3.35-3.44
Publication statusPublished - 1995
Eventconference; Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995 -
Duration: 1 Jan 1995 → …

Conference

Conferenceconference; Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995
Period1/01/95 → …
OtherProc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995

Cite this

Eijk, van, C. A. J., & Jess, J. A. G. (1995). Detection of equivalent state variables in finite state machine verification. In Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis (pp. 3.35-3.44)