Diseñador automático de circuitos digitales - Chaves Fonseca, Luis Carlos (1992)