English | Russian |
asynchronous circuit | асинхронная микросхема (последовательностная микросхема, которая срабатывает (становится активной) при любом изменении входных сигналов ssn) |
asynchronous circuits with bounded delays | асинхронные схемы с ограниченными задержками (ssn) |
reachability problem for asynchronous circuits with bounded delays | задача достижимости для асинхронных схем с ограниченными задержками (ssn) |