STFSM — самосинхонный конечный автомат: от примера до синтеза

Victor Varshavsky, Vjacheslav Marakhovsky

Логическая декомпозиция –- известная проблема в логическом синтезе, но она представляет новые сложности, когда направлена на схемы, независимые от скорости. При декомпозиции схемы в более мелкие схемы должна сохраниться не только функциональная корректность схемы, но также и независимость от скорости, т.е. отсутствие рисков сбоя от неограниченных задержек схемы. Эта статья представляет новый метод логической декомпозиции схем, независимых от скорости, решающий проблему за два больших шага: 1) логическая декомпозиция сложных схем и 2) вставка новых сигналов, сохраняющих отсутствие рисков сбоя. Метод кажется более общим, чем предыдущие, и его эффективность оценивается экспериментами на наборе эталонных тестов.

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *