Algorithmic and register-transfer level synthesis:the system architect`s workbench - Thomas, D.E (Kluwer Academic Publishers, 1990)