A CAD system for decomposition oriented synthesisKeevallik, Andres; Sudnitsõn, Aleksander; Udre, JüriProceedings of the International Conference "Computer-Aided Design of Discrete Devices", Minsk, 19951995 / p. 153-154 PLA-based FSM state assignment for testabilityKasirova, Lilia; Keevallik, Andres; Kruus, MargusProceedings of the International Conference "Computer-Aided Design of Discrete Devices", Minsk, 19951995 / p. 50-51