Towards the functional verification of large sequential circuits

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

Towards the functional verification of large sequential circuits

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

Electronic Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97
Pages	1.1-1.4
Publication status	Published - 1997
Event	conference; 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 1997 → 21 May 1997

Conference

Conference	conference; Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997
Abbreviated title	IWLS '97
Country/Territory	Canada
City	Tahoe City
Period	19/05/97 → 21/05/97
Other	Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997

Cite this

@inproceedings{956741b53cf14c47a4f2dec0f6979df1,

title = "Towards the functional verification of large sequential circuits",

author = "{Eijk, van}, C.A.J. and J.A.G. Jess",

year = "1997",

language = "English",

pages = "1.1--1.4",

booktitle = "Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97",

note = "conference; Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997, IWLS '97 ; Conference date: 19-05-1997 Through 21-05-1997",

}

TY - GEN

T1 - Towards the functional verification of large sequential circuits

AU - Eijk, van, C.A.J.

AU - Jess, J.A.G.

PY - 1997

Y1 - 1997

M3 - Conference contribution

SP - 1.1-1.4

BT - Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97

T2 - conference; Workshop Notes 1997 ACM/IEEE International Workshop on Logic Synthesis, IWLS'97, Tahoe City, CA, 19-21 May 1997

Y2 - 19 May 1997 through 21 May 1997

ER -