Back to book
— Modelling and Synthesis of Digital Systems. RTL design practice