![]() | ![]() |
2001 | ||
---|---|---|
3 | EE | Wolfgang Günther, Andreas Hett, Bernd Becker: Application of linearly transformed BDDs in sequential verification. ASP-DAC 2001: 91-96 |
2000 | ||
2 | EE | Andreas Hett, Christoph Scholl, Bernd Becker: Distance driven finite state machine traversal. DAC 2000: 39-42 |
1997 | ||
1 | EE | Andreas Hett, Rolf Drechsler, Bernd Becker: Fast and efficient construction of BDDs by reordering based synthesis. ED&TC 1997: 168-175 |
1 | Bernd Becker | [1] [2] [3] |
2 | Rolf Drechsler | [1] |
3 | Wolfgang Günther | [3] |
4 | Christoph Scholl | [2] |