Date of Award | 31 Aug 1988 |
---|---|
Original language | English |
Supervisor | M.R.C.M. Berkelaar (Supervisor 1) |
Equivalence checking of multi-level logic functions by means of multi-level tautology
Student thesis: Master