А. В. Палагин, В. Н. Опанасенко, В. Г. Сахарин, and А. И. Лисовый, “Use of the utility System Generator for verification of the PLD - based projects”, PIC, vol. 1, no. 12, pp. 126–131, Mar. 2005.