Verifiable Template Development for HDL- Descriptions. ELEKTRON ELEKTROTECH 2007, 75 (3), 53-56.