Computer aided design and test Dagstuhl-Seminar-Report; 56 15.02.-19.02.93(9307) - Becker, Bernd; Bryant, Randal; Meinel, Christoph