Towards the functional verification of large sequential circuits

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelWorkshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97
Pagina's1.1-1.4
StatusGepubliceerd - 1997
Evenementconference; Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997 - Tahoe City, Canada
Duur: 19 mei 199721 mei 1997

Congres

Congresconference; Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997
Verkorte titelIWLS '97
Land/RegioCanada
StadTahoe City
Periode19/05/9721/05/97
AnderWorkshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997

Citeer dit