Towards the functional verification of large sequential circuits

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

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

Original languageEnglish
Title of host publicationWorkshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97
Pages1.1-1.4
Publication statusPublished - 1997
Eventconference; Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997 - Tahoe City, Canada
Duration: 19 May 199721 May 1997

Conference

Conferenceconference; Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997
Abbreviated titleIWLS '97
Country/TerritoryCanada
CityTahoe City
Period19/05/9721/05/97
OtherWorkshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997

Cite this