@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",
}