Integrierte Schaltkreise haben in den vergangenen Jahren massiv unsere Umwelt verandert. Der Computer hat in vielen Lebensbereichen Zugang gefunden und ist dort inzwischen unersetzlich. Auch bei vielen Dingen des taglichen Lebens, wie z.B. Fernsehern, Radios und Kiichengeraten, werden Mikrochips verstarkt einge setzt. Die damit verbundenen "Bequemlichkeiten" werden als selbstverstandlich angenommen und fiir die nachste Generation werden weitere Fortschritte gefor dert bzw. fast zwingend erwartet. Dieser Trend verstarkt sich, wenn man an sogenannte High Tech-Bereiche denkt, wie sie sich z.B....
Integrierte Schaltkreise haben in den vergangenen Jahren massiv unsere Umwelt verandert. Der Computer hat in vielen Lebensbereichen Zugang gefunden un...
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in...
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model ...
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems.
The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future...
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany...
This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference ...
This bookpresents a new optimization flow for quantum circuits realization. Then, new mapping approaches to decompose reversible circuits to quantumcircuits using different quantum libraries are described. Finally, optimizationtechniques to reduce the quantum cost or the delay are applied to the resultingquantum circuits.
This bookpresents a new optimization flow for quantum circuits realization. Then, new mapping approaches to decompose reversible circuits to quantumci...
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic...
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification ...
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in...
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model ...
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domai...
This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors' expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and frameworks in order to have better logic synthesis algorithms.
This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors' expert perspectives...
