"Franco Fummi, Robert Wille" "Languages, Design Methods, and Tools for Electronic System Design" - Springer 2018 ISBN: 978-3-319-62920-9 Subjects--Topical Terms: "Engineering; Circuits and Systems; Processor Architectures; Electronics and Microelectronics, Instrumentation"