Палагин, А. В.; Опанасенко, В. Н.; Сахарин, В. Г.; Лисовый, А. И. Use of the Utility System Generator for Verification of the PLD - Based Projects. PIC 2005, 1, 126-131.