Импорт и экспорт конечных автоматов
Вы можете импортировать и экспортировать конечные автоматы между TDF файлами и другими файлами проекта, определяя входные и выходные порты как MACHINE INPUT или MACHINE OUTPUT в разделе Subdesign. Прототип функции, который представляет файл, содержащий конечный автомат, должен указывать, какие входы и выходы принадлежат конечному автомату с помощью предварения имен сигналов ключевым словом MACHINE.
Типы портов MACHINE INPUT и MACHINE OUTPUT нельзя использовать в файле проекта верхнего уровня. Хотя высокоуровневый файл с этими портами полностью не компилируется, Вы можете использовать команду Project Save & Check (меню File) для проверки его синтаксиса и команду Create Default Include File (меню File) для создания Include файла, который представляет текущий файл.
Вы можете переименовать конечный автомат с помощью временного имени, вводя объявление псевдоимени автомата в раздел Variable. Вы можете использовать это псевдоимя в файле, где создан этот автомат или в файле, который использует порт MACHINE INPUT для импорта конечного автомата. Затем Вы можете применить это имя вместо исходного имени автомата.
Файл ss_def.tdf, приведенный ниже, определяет и экспортирует конечный автомат ss с помощью порта ss_out.
SUBDESIGN ss_def
(
clk, reset, count : INPUT;
ss_out : MACHINE OUTPUT;
)
VARIABLE
ss: MACHINE WITH STATES (s1, s2, s3, s4, s5);
BEGIN
ss_out = ss;
CASE ss IS
WHEN s1=>
IF count THEN ss = s2; ELSE ss = s1; END IF;
WHEN s2=>
IF count THEN ss = s3; ELSE ss = s2; END IF;
WHEN s3=>
IF count THEN ss = s4; ELSE ss = s3; END IF;
WHEN s4=>
IF count THEN ss = s5; ELSE ss = s4; END IF;
WHEN s5=>
IF count THEN ss = s1; ELSE ss = s5; END IF;
END CASE;
ss.(clk, reset) = (clk, reset);
END;
Файл ss_use.tdf, приведенный ниже, импортирует конечный автомат с помощью порта ss_in.
SUBDESIGN ss_use
(
ss_in : MACHINE INPUT;
out : OUTPUT;
)
BEGIN
out = (ss_in == s2) OR (ss_in == s4);
END;
Файл top1.tdf, приведенный ниже, использует ссылки для вставки экземпляров функций ss_def и ss_use. Прототипы функций для ss_def и ss_use содержат ключевые слова MACHINE, которые указывают какие входы и выходы являются автоматными.
FUNCTION ss_def (clk, reset, count)
RETURNS (MACHINE ss_out);
FUNCTION ss_use (MACHINE ss_in)
RETURNS (out);
SUBDESIGN top1
(
sys_clk, /reset, hold : INPUT;
sync_out : OUTPUT;
)
VARIABLE
ss_ref: MACHINE; %объявление псевдоимени автомата %
BEGIN
ss_ref = ss_def(sys_clk, !/reset, !hold);
sync_out = ss_use(ss_ref);
END;
Внешний конечный автомат можно также реализовать в TDF файле верхнего уровня с помощью объявления экземпляра в разделе Variable. Файл top2.tdf, приведенный ниже, имеет такую же функциональность, как и top1.tdf, но использует объявления экземпляров, вместо ссылок.
FUNCTION ss_def (clk, reset, count)
RETURNS (MACHINE ss_out);
FUNCTION ss_use (MACHINE ss_in)
RETURNS (out);
SUBDESIGN top2
(
sys_clk, /reset, hold : INPUT;
sync_out : OUTPUT;
)
VARIABLE
sm_macro : ss_def;
sync : ss_use;
BEGIN
sm_macro.(clk, reset, count) = (sys_clk, !/reset, !hold);
sync.ss_in = sm_macro.ss_out;
sync_out = sync.out;
END;
