EFSM Building (Related Work) » History » Revision 4
Revision 3 (Sergey Smolov, 03/25/2017 10:25 AM) → Revision 4/40 (Sergey Smolov, 03/25/2017 12:52 PM)
h1. EFSM Building (Related Work)
Алгоритмы извлечения EFSM-моделей из исходного кода HDL-описаний.
h2. Cheng, Krishnakumar 1996
На вход алгоритму подается описание на языках VHDL или C (BESTMAP-C - см. Jou, J-Y., Rothweiler, S., Ernst, R., SUTARWALA, S., and Prabhu, A. 1989. BESTMAP: Behavioral Synthesis from C. In International Workshop on Logic Synthesis (Research Triangle Park, NC, May).)
*Шаг 1*
По синхронной части кода (synchronous section) строится _дерево операторов_ (statement tree). Листовыми вершинами дерева являются базовые блоки (последовательности присваиваний). Ветви дерева снабжены атрибутами. Атрибуты - это выражения булева типа, соответст