|
1 |
A genetic algorithm for variable ordering of OBDDs
Drechsler, Rolf. - Frankfurt (Main) : Fachbereich Informatik, Univ., 1994
|
|
|
|
2 |
Genetic alogrithms in computer aided design of integrated circuits
Drechsler, Rolf. - Frankfurt/Main : Fachbereich Informatik, Univ., 1994
|
|
|
|
3 |
Minimization of 2-level AND, XOR expressions using ordered Kronecker functional decision diagrams
Becker, Bernd. - Frankfurt am Main : Fachbereich Informatik, Univ., 1994
|
|
|
|
4 |
On variable ordering and decomposition type choice in OKFDDs
Drechsler, Rolf. - Frankfurt am Main : Fachbereich Informatik, Univ., [1994]
|
|
|
|
5 |
Synthesis for testability
Becker, Bernd. - Frankfurt am Main : Fachbereich Informatik, Univ., [1994]
|
|
|
|
6 |
A BDD based algorithm for computation of exact fault detection probabilities
Krieger, Rolf. - Frankfurt [Main] : Fachbereich Informatik, Univ., [1993]
|
|
|
|
7 |
Computer aided design and test
Saarbrücken : Geschäftsstelle Schloss Dagstuhl, 1993
|
|
|
|
8 |
Fast FDD based minimization of generalized Reed-Muller forms
Drechsler, Rolf. - Frankfurt am Main : Fachbereich Informatik, Univ., 1993
|
|
|
|
9 |
Lgc++
Krieger, Rolf. - Frankfurt am Main : Fachbereich Informatik, Univ., 1993
|
|
|
|
10 |
Local circuit transformations preserving robust path delay fault testability
Becker, Bernd. - Frankfurt [Main] : Fachbereich Informatik, Univ., [1993]
|
|
Administration
