You are about to access our book library "Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems (IFIP Advances in Information and Communication Technology) full version" .