Конечные автоматы, Нетривиальная задачка... Опции

[okela]

Дано :

Некий цифровой автомат с десятком входов и где-то стока же выходов. Реализован был очень давно на рассыпухе (сплошная ассинхронщина.. комбинаторика и RS-триггера).
Известны временные диаграммы работы девайса по всем входам и выходам в течении одного цикла.
Если в цифровой схеме есть хоть один триггер, то её можно назвать цифровым автоматом..

Найти :

Возникла необходимость запихать всё енто дело в ПЛИСину. Сразу возникла мысль описать его как конченый автомат.
Для этого надо выполнить как бы обратный синтез КА.
Т.е. известны диаграммы функционирования, а по ним надо нарисовать граф-схему или таблицу переходов и выходов.
В автоматном синтезе не очень силен, поэтому накопал инфы в интернете чтобы поучить уроки, почитал ... и совсем запутался.
Не выходит каменный цветок. В голове , блин, каша.
Как все это дело собрать в кучу, чтобы наглядно и понятно все описывалось ?
Логика работы вроде бы и совсем несложная: некоторые выходы просто тупо повторяют соответствующие входы, несколько выходов связаны со своими парами входов (режим триггера - вкл./выкл). Если судить по количству триггеров которые присутствуют в исходной схеме (5-6 штук), то состояний максимум будет столько же, а у меня их чего-то гораздо больше (если анализировать входные воздействия и выходы).

Может кто-то сталкивался с подобной задачей.. Хелп, плиз! Диаграммы приложены.

Эскизы прикрепленных изображений

 

[Oldring]

1. RS-триггеры элементарно реализуются на 2-х ЛА-3. Сколько у исходной схемы состояний - неизвестно.

2. Допустим внутри 64 возможных состояния (6 триггеров) и 10 входов. Всего 65536 возможных переходов конечного автомата. Вы готовы описать их все? Если да - дальше существуют формальные методы синтеза минимального детерминированного конечного автомата.

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

4. Это автоматика некого трактора? Найдите технолога который сможет по имеющимся данным и общим знаниям о техпроцессах восстановить логику работы автомата. Без предварительного 100% описания логики работы системы запихивать в PLD - это бред. Тем более, если от правильности работы схемы зависит безопасность людей или оборудования.

[okela]

1. RS-триггеры элементарно реализуются на 2-х ЛА-3. Сколько у исходной схемы состояний - неизвестно.

2. Допустим внутри 64 возможных состояния (6 триггеров) и 10 входов. Всего 65536 возможных переходов конечного автомата. Вы готовы описать их все? Если да - дальше существуют формальные методы синтеза минимального детерминированного конечного автомата.

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

4. Это автоматика некого трактора? Найдите технолога который сможет по имеющимся данным и общим знаниям о техпроцессах восстановить логику работы автомата. Без предварительного 100% описания логики работы системы запихивать в PLD - это бред. Тем более, если от правильности работы схемы зависит безопасность людей или оборудования.

Не совсем понятно откуда взялось число возможных переходов 65536 ??? Если перемножением 64х10, то это будет 640.

[des00]

1. RS-триггеры элементарно реализуются на 2-х ЛА-3. Сколько у исходной схемы состояний - неизвестно.

2. Допустим внутри 64 возможных состояния (6 триггеров) и 10 входов. Всего 65536 возможных переходов конечного автомата. Вы готовы описать их все? Если да - дальше существуют формальные методы синтеза минимального детерминированного конечного автомата.

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

4. Это автоматика некого трактора? Найдите технолога который сможет по имеющимся данным и общим знаниям о техпроцессах восстановить логику работы автомата. Без предварительного 100% описания логики работы системы запихивать в PLD - это бред. Тем более, если от правильности работы схемы зависит безопасность людей или оборудования.

Не совсем понятно откуда взялось число возможных переходов 65536 ??? Если перемножением 64х10, то это будет 640.

2^10*64 = 65536