Editors:
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (27 chapters)
-
Front Matter
-
Analog and Mixed-Signal System Design
-
UML System Specification and Design
-
C/C++-Based System Design
About this book
In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC.
UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.
The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.
Editors and Affiliations
-
University of Cantabria, Spain
Eugenio Villar
-
KeesDA, France
Jean Mermet
Bibliographic Information
Book Title: System Specification & Design Languages
Book Subtitle: Best of FDL’02
Editors: Eugenio Villar, Jean Mermet
DOI: https://doi.org/10.1007/b105967
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2003
Hardcover ISBN: 978-1-4020-7414-1Published: 30 April 2003
Softcover ISBN: 978-1-4419-5348-3Published: 07 December 2010
eBook ISBN: 978-0-306-48734-7Published: 08 May 2007
Edition Number: 1
Number of Pages: IX, 340
Topics: Programming Languages, Compilers, Interpreters, Theory of Computation, Computer Hardware, Artificial Intelligence, Computer-Aided Engineering (CAD, CAE) and Design, Electrical Engineering