Chdl

Best of FDL'02

By: Eugenio Villar (Editor), Jean Mermet (Editor)

Write A Review

Hardcover | 30 April 2003

At a Glance

Hardcover
352 Pages

Dimensions(cm)
25.4 x 1.91 x 1.91

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Computer Programming & Software Development Programming & Scripting Languages Computer Architecture & Logic Design Energy Technology & Engineering

Electrical Engineering Computer Hardware Personal Computers Artificial Intelligence Expert Systems & Knowledge-Based Systems Graphical & Digital Media Applications Compilers & Interpreters

Contents	p. v
Contributing Authors	p. ix
Preface	p. 1
Analog and Mixed-Signal System Design	p. 3
Selected Topics in Mixed-Signal Simulation	p. 5
Mixed-Signal Extensions for SystemC	p. 19
Mixed-Domain Modeling in Modelica	p. 29
VHDL-AMS and Verilog-AMS as Competitive Solutions	p. 41
VHDL-AMS in MEMS Design Flow	p. 51
A new approach to model generation for nonlinear mixed-signal circuits in the behavioral and functional domain	p. 61
Multi-Level Analog/Mixed-Signal IP Specification for Platform-Based Design	p. 75
Uml System Specification and Design	p. 85
A uml Profile for Real-Time System Modelling with Rate-Monotonic Analysis	p. 87
Support for Embedded Systems In UML 2.0	p. 107
Embedded System Design Using UML and Platforms	p. 119
A Design Methodology for the Development of a complex System-on-Chip using UML and Executable System Models	p. 129
Using the SHE Method for UML-based Performance Modeling	p. 143
SystemC code generation from UML models	p. 161
Hardware dependent Software, the Bridge between Hardware and Software	p. 173
C/C++-Based System Design	p. 183
C/C++ Based System Design Flow Using SpecC, VCC and SystemC	p. 185
Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams	p. 195
Automatic Generation of Scheduled SystemC Models of Embedded Systems From Extended Task Graphs	p. 207
SystemC-Plus Complex Data Types for Telecom Applications	p. 219
A Method for the Development of Combined Floating- and Fixed-Point SystemC Models	p. 231
Object-Oriented High-Level Modeling of an InfiniBand to PCI-X Bridge	p. 243
A SystemC Model for RTOS Kernel	p. 255
Specification Formalisms for Proven Design	p. 265
An Abstract Modeling Approach Towards System-Level Design-Space Exploration	p. 267
Modeling Techniques in Design-by-Refinement Methodologies	p. 283
Design of Highly Parallel Architectures with Alpha and Handel	p. 293
MTG and Gray box	p. 303
Specification and Refinement of Hardware Components in B	p. 315
Ensuring semantic integrity in knowledge bases for embedded systems	p. 327
Table of Contents provided by Ingram. All Rights Reserved.

Chdl

Best of FDL'02

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Electrical Engineering

Electrical Principles

5th Edition

Electrical Trade Principles

6th Edition

Electrical Trade Practices

3rd Edition

A+ National Pre-apprenticeship Maths and Literacy for Electrical

A+ PRE-APPRENTICESHIP

Electrical Wiring Practice, 9th Edition and Wiring Principles for Electrical Trades, 8th Edition (Pack)

Electrical Principles for Electrical Trades

8th Edition

Flexible Inkjet-Printed Antennas

Design, Fabrication, and Applications

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume II

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume II

Handbook of Sustainable Wireless Communication Systems

Innovations and Applications

Resilient Space Systems Design

An Introduction

Electric Vehicles

Advanced Technologies, Case Studies, and Applications

Natural Language Processing and Artificial Intelligence

A Perspective Towards Current Trends, Challenges, and Applications

Contemporary Strategic Business Transformation

AI Frontiers

Demystifying Sustainable Farming Using Smart Technologies

Robo-Advisors and Artificial Intelligence in Human Resources Management

Revolutionizing HR

Materials, Circuits and Devices

Volume 2: Volume 2

Electrical Wiring Practice

9th Edition

A+ Pre-apprenticeship Maths and Literacy for Electrical (Part II)

Electrotechnology Practice 6E + Electrical Trade Principles 6E Value Pack

6th Edition

Applying Hvdc and Facts in Electric Power Systems

Fundamentals of Electrical Engineering

Battery Management Systems for Large Lithium Ion Batteries

Fundamentals of Electric Circuits

ISE 7th edition

This product is categorised by