Exploiting functional dependencies in sequential equivalence checking

C.A.J. Eijk, van

Exploiting functional dependencies in sequential equivalence checking

C.A.J. Eijk, van

Electronic Systems

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

Original language	English
Title of host publication	Proc. Computer Aided Design and Test-Decision Diagrams: Concepts and Applications, Dagstuhl, 14-15 May 1997
Editors	B. Becker, R. Bryant, M. Fujita, C. Meinel
Pages	14-15
Publication status	Published - 1997
Event	4th workshop Decision Diagrams: Concepts and Applications, January 27-31, 1997, Wadern, Germany - Schloss Dagstuhl, Wadern, Germany Duration: 27 Jan 1997 → 31 Jan 1997

Workshop

Workshop	4th workshop Decision Diagrams: Concepts and Applications, January 27-31, 1997, Wadern, Germany
Country/Territory	Germany
City	Wadern
Period	27/01/97 → 31/01/97
Other	Dagstuhl Seminar 9705

Cite this

@inproceedings{6e6f00fe2f0b4207ad24e39f8605befd,

title = "Exploiting functional dependencies in sequential equivalence checking",

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

year = "1997",

language = "English",

pages = "14--15",

editor = "B. Becker and R. Bryant and M. Fujita and C. Meinel",

booktitle = "Proc. Computer Aided Design and Test-Decision Diagrams: Concepts and Applications, Dagstuhl, 14-15 May 1997",

note = "4th workshop Decision Diagrams: Concepts and Applications, January 27-31, 1997, Wadern, Germany ; Conference date: 27-01-1997 Through 31-01-1997",

}

Eijk, van, CAJ 1997, Exploiting functional dependencies in sequential equivalence checking. in B Becker, R Bryant, M Fujita & C Meinel (eds), Proc. Computer Aided Design and Test-Decision Diagrams: Concepts and Applications, Dagstuhl, 14-15 May 1997. pp. 14-15, 4th workshop Decision Diagrams: Concepts and Applications, January 27-31, 1997, Wadern, Germany, Wadern, Germany, 27/01/97.

Exploiting functional dependencies in sequential equivalence checking. / Eijk, van, C.A.J.
Proc. Computer Aided Design and Test-Decision Diagrams: Concepts and Applications, Dagstuhl, 14-15 May 1997. ed. / B. Becker; R. Bryant; M. Fujita; C. Meinel. 1997. p. 14-15.

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

TY - GEN

T1 - Exploiting functional dependencies in sequential equivalence checking

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

PY - 1997

Y1 - 1997

M3 - Conference contribution

SP - 14

EP - 15

BT - Proc. Computer Aided Design and Test-Decision Diagrams: Concepts and Applications, Dagstuhl, 14-15 May 1997

A2 - Becker, B.

A2 - Bryant, R.

A2 - Fujita, M.

A2 - Meinel, C.

T2 - 4th workshop Decision Diagrams: Concepts and Applications, January 27-31, 1997, Wadern, Germany

Y2 - 27 January 1997 through 31 January 1997

ER -