System Specification & Design Languages : Best of Fdl'02 (The Chdl Series)

個数:

System Specification & Design Languages : Best of Fdl'02 (The Chdl Series)

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Hardcover:ハードカバー版/ページ数 350 p.
  • 言語 ENG
  • 商品コード 9781402074141
  • DDC分類 621.395

基本説明

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.

Full Description

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.

Contents

Contributing Authors. Preface.
Part I: Analog and Mixed-Signal System Design. Selected Topics in Mixed-Signal Simulation; E. Christen. Mixed-Signal Extensions for SystemC; K. Einwich, P. Schwarz, C. Grimm, K. Waldschmidt. Mixed Modeling in Modelica; C. Clauss, H. Elmqvist, S.E. Mattsson, M. Otter, P. Schwarz. VHDL-AMS and Verilog-AMS as Competitive Solutions; F. Pêcheux, C. Lallement. VHDL-AMS in MEMS Design Flow; J. Haase, J. Bastian, S. Reitz. A new approach to model generation for nonlinear mixed-signal circuits in the behavioral and functional domain; R. Rosenberger, S.A. Huss. Multi-Level Analog/Mixed-Signal IP Specification for Platform Based Design; N. Martínez Madrid, A. Acosta Fernández, F. Ruiz Moreno, R. Seepold.
Part II: UML System Specification and Design. A UML Profile for Real-Time System Modelling with Rate-Monotonic Analysis; J. Oliver. Support for Embedded Systems IN UML 2.0; M. Björkander, C. Kobryn. Embedded System Design Using UML and Platforms; Rong Chen, M. Sgroi, L. Lavagno, G. Martin, A. Sangiovanni-Vincentelli, J. Rabaey. A Design Methodology for the Development of a Complex System-on-Chip using UML and Executable System Models; M. Pauwels, Y. Vanderperren, G. Sonck, P. van Oostende, W. Dehaene, T. Moore. Using the SHE Method for UML-based Performance Modeling; B.D. Theelen, P.H.A. van der Putten, J.P.M. Voeten. SystemC code generation from UML models; L. Baresi, F. Bruschi, E. Di Nitto, D. Sciuto. Hardware dependent Software, the Bridge between Hardware and Software; R. Marichal, G. de Jong, P. van der Putten, J. van Sas.
Part III: C/C++-Based System Design. C/C++ Based System Design How Using SpecC, VCC and SystemC;L. Cai, M. Olivarez, P. Kritzinger, D. Gajski. Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams; T. Sakunkonchak, M. Fujita. Automatic Generation of Scheduled SystemC Models of Embedded Systems from Extended Task Graphs; S. Klaus, S.A. Huss, T. Trautmann. SystemC-Plus Complex Data Types for Telecom Applications; M. Bombana, W. Fornaciari, L. Pomante. A Method for the Development of Combined Floating- and Fixed Point SystemC Models; Y. Vanderperren, W. Dehaene, M. Pauwels. Object-Oriented High-Level Modeling of an InfiniBand to PCI-X Bridge; O. Lachish, A. Ziv. A SystemC Model for RTOS Kernel; M. Abdel Salam, A. Salem.
Part IV: Specification Formalisms for Proven Design. An Abstract Modeling Approach Towards System-Level Design-Space Exploration; F.N. van Wijk, J.P.M. Voeten, A.J.W.M. ten Berg. Modeling Techniques in Design-by-Refinement Methodologies; J.R. Burch, R. Passerone, A.L. Sangiovanni-Vincentelli. Design of Highly Parallel Architectures with Alpha and Handel; F. de Dinechin, M. Manjunathaiah, T. Risset, M. Spivey. MTG* and Gray Box; S. Himpe, G. Deconinck, F. Catthoor, J. van Meerbergen. Specification and Refinement of Hardware Components in B; S. Hallerstede. Ensuring semantic integrity in knowledge bases for embedded systems; D. Monjau, M. Sporer.