System-On-Chip Methodologies & Design Languages (The Chdl Series)

個数：

System-On-Chip Methodologies & Design Languages (The Chdl Series)

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

基本説明

The best papers from three international electronic design language conferences in 2000.

Full Description

System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design language conferences in 2000. The conferences are the Hardware Description Language Conference and Exhibition (HDLCon), held in the Silicon Valley area of USA; the Forum on Design Languages (FDL), held in Europe; and the Asia Pacific Chip Design Language (APChDL) Conference. The papers cover a range of topics, including design methods, specification and modeling languages, tool issues, formal verification, simulation and synthesis. The results presented in these papers will help researchers and practicing engineers keep abreast of developments in this rapidly evolving field.

Contents

1. VHDL in 2005 — The Requirements.- 2. Application of VHDL Features for Optimization of Functional Validation Quality Measurement.- 3. An Object-Oriented Component Model Using Standard VHDL for Mixed Abstraction Level Design.- 4. A VHDL-Centric Mixed-Language Simulation Environment.- 5. Analogue Circuit Synthesis from VHDL-AMS.- 6. Symbolic Simulation & Verification of VHDL with ACL2.- 7. Functional Verification with Embedded Checkers.- 8. Improved Design Verification by Random Simulation Guided by Genetic Algorithms.- 9. VERIS: An Efficient Model Checker for Synchronous VHDL Designs.- 10. Title On Flip-flop Inference in HDL Synthesis.- 11. Synthesis Oriented Communication Design for Structural Hardware Objects.- 12. High-Level Synthesis through Transforming VHDL Models.- 13. Multi-facetted Modeling.- 14. A Dual Spring System Case-Study Model in Rosetta.- 15. Transformational System Design Based on a Formal Computational Model and Skeletons.- 16. Models of Asynchronous Computation.- 17. A Mixed Event-value Based Specification Model for Reactive Systems.- 18. JESTER: An ESTEREL-based Reactive JAVA Extension for Reactive Embedded Systems.- 19. A Four-phase Handshaking Asynchronous Controller Specification Style and its Idle-Phase Optimization.- 20. Automating the Validation of Hardware Description Language Processing Tools.- 21. A Retargetable Software Power Estimation Methodology.- 22. Performance Tradeoffs for Emulation, Hardware Acceleration, and Simulation.- 23. TCL PLI, a Framework for Reusable, Run Time Configurable Test Benches.- 24. Object-Oriented Specification and Design of Embedded Hard Real-Time Systems.- 25. System Level Design for SOC's.- 26. Virtual Component Reuse and Qualification for Digital and Analogue Design.- 27. Interface Based Design Using the VSI System-level Interface Behavioral Documentation Standard.- 28. Virtual Component HW/SW Co-Design. From System Level Design Exploration to HW/SW Implementation.