Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems - Carlos Delgado Kloos, Eduard Cerny ((IFIP Advances in Information and Communication Technology))