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 excellent 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 latest research results and design
experiences.
FDL'02 was organized as four focused workshops, Languages for
Analog 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 the main place in Europe where
designers interested in design languages and their applications can
meet and interchange experiences.
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
