Avtomatizirovannoje projektirovanije cifrovych ustrojstv - Badulin, Sergej Stepanovič (rz1, 1981)