Automatizácia návrhu číslicových modulov (Dom techniky Československej vedeckotechnickej spoločnosti, 1989)