Как обнаружить колебания в логических симуляторах ворот?

Question

Я пишу циклическое логическое моделирование в C#. Я хочу имитировать как комбинационные, так и последовательные схемы. Комбинационные схемы - это простые, но последовательные схемы дают мне проблемы.

Я хочу обнаружить колебания и отобразить соответствующее предупреждающее сообщение. Есть ли простой способ проверить, сколько раз один затвор может изменить свое состояние и все же оставить контур стабильным?

Я думал о «минимальном алгоритме настройки дуги обратной связи», но это кажется излишним. Многие настольные приложения делают это быстро, поэтому я сомневаюсь, что они его используют.

Я также нашел документ, в котором говорится об использовании тройной логики (0, 1, неизвестно) и алгоритме расщепления в двух частях: один инициализирует схему и выполняет фактические вычисления, но он говорил что-то вроде «если алгоритм А не прерывать цепь, имеет колебания ", которая ничего мне не дает, поскольку нет возможности остановить тактовый цикл и предупредить пользователя.

Любые идеи о том, как такие приложения, как «Logisim» или «digital works», обнаруживают колебания?

Answer 1

Verilator - это логический симулятор, который работает путем компиляции синтезируемого Verilog в C-код.

Он пытается построить логический порядок, который будет гарантированно стабильным, но если он не работает, он выдает некоторые предупреждения UNOPT и UNOPTFLAT и просто повторяет симуляцию несколько раз, пока ничего не изменится.

По умолчанию используется 100 раундов, прежде чем он сообщает об ошибке слияния, но это может быть изменено с использованием аргумента converge-limit.