[Из песочницы] Система синтеза самосинхронных схем Petrify: проблемы и их решение

Сказать, что Petrify решает, поставленные перед ней задачи, можно лишь с большой натяжкой. Вернее она кое-что может для небольших заданий (где количество сигналов едва превышает 20), проблема взрыва состояний так и не была решена.

Но и для таких задач удовлетворительный результат не гарантирован. Декомпозиция далеко не всегда дает приемлемые результаты.


В чем причина этих неудач? Я бы назвал 3 основные:


1. Увлеченность STG. Да, это красивая, забавная модель, очень интересно играть маркерами и т. п. Но, подумайте, процесс переключения сигналов схемы это такой же процесс как выполнение какой-либо программы. Мы используем для описания программы сети Петри? Для чего тогда они нужны при описании процессов, происходящих в схеме? В результате разработчики Petrify львиную долю своих усилий потратили на изучение свойств сетей Петри. А собственно задачи синтеза схем так и не были решены.


2. Упор на «вычислительность». Под этим я подразумеваю убежденность, что для синтеза схем обязательно нужно вычислять логические функции. Как результат, вместо решения задач синтеза, исследовались только возможности уменьшения таких вычислений.


3. Неспособность разобраться в причинах возникающих проблем. Но об этом ниже.

Читать дальше →.

синтеза petrify схем

2017-6-19 13:58