Text this: Система логического синтеза устройств управления на базе программируемых контроллеров