Моделирование устройств на функционально-логическом уровне Сложные цифровые логи