Syrevitch, Y., and D. Zinchenko. “Verifiable Template Development for HDL- Descriptions”. Elektronika ir Elektrotechnika 75, no. 3 (March 19, 2007): 53-56. Accessed November 27, 2020. https://eejournal.ktu.lt/index.php/elt/article/view/10471.