1. 1. http://www.altera.com.
2. 2. http://www.atmel.com.
3. 3. http://www.xilinx.com.
4. A. A.Barkalov and A. Bucowiec. Synthesis of mealy finite-states machines for interpretation of verticalized flow-charts. Theoretical and applied informatics, 39–51, 2005.
5. M. Adamski and A. Barkalov. Architectural and Sequential Synthesis of Digital Devices. University of Zielona Góra Press, 2006.