System Specification & Design Languages (Hardcover)

Eugenio Villar

ISBN 10: 140207414X / ISBN 13: 9781402074141

Verlag: Kluwer Academic Publishers, New York, NY, 2003

Beschreibung

Hardcover. The Forum on Design Languages (FDL) is the European forum to exchange experiences and learn new trends, in the application of languages and the associated design methods and tools, to design complex electronic systems. By offering several co-located workshops, this multi-faceted event gives an opportunity to gain up-to-date knowledge across main aspects of such a wide field. All the workshops address as their common denominator the different application domains of system-design languages with the presentation of the up-to-date research results and design experiences. FDL'02 was organized as four focused workshops: "Languages for Analogue and Mixed-Signal System Design"; "UML-Based System Specification and Design"; "C/C++-Based System Design"; and "Specification Formalisms for Proven Design". FDL served once more as the European forum for electronic system design languages and consolidates as a place where designers interested in design languages and their applications can meet and interchange experiences. In this book, a selection of papers presented in FDL'02 is published. The text contains research contributions in the four areas mentioned above. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Bestandsnummer des Verkäufers 9781402074141

Bibliografische Details

• Titel: System Specification & Design Languages (Hardcover)
• Verlag: Kluwer Academic Publishers, New York, NY
• Erscheinungsjahr: 2003
• Sprache: Englisch
• ISBN-10: 140207414X
• ISBN-13: 9781402074141
• Einband: Hardcover
• Zustand: new

Über diesen Titel

Inhaltsangabe

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.