Memory controllers for real-time embedded systems : predictable and composable real-time systems

    • Akesson, Benny
    • Goossens, Kees

著者

    • Akesson, Benny
    • Goossens, Kees

書誌事項

Memory controllers for real-time embedded systems : predictable and composable real-time systems

Benny Akesson, Kees Goossens

(Embedded systems / Nikil Dutt, Grant Martin, Peter Marwedel, series editors)

Springer, c2011

  • : [hardcover]

大学図書館所蔵 件 / 全1件

この図書・雑誌をさがす

内容説明・目次

内容説明

Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composability and shows how to apply them to the design and analysis of a memory controller, which is a key component in any real-time system.

目次

Introduction.- Proposed Solution.- SDRAM Memories and Controllers.- Predictable SDRAM Back-End.- Resource Arbitration.- Composable Resource Front-End.- Configuration.- Related Work.- Conclusions and Future Work.- Appendix: System XML Specification.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

  • 1
    Embedded systems

    Nikil Dutt, Grant Martin, Peter Marwedel, series editors

    Springer

詳細情報

ページトップへ

AltStyle によって変換されたページ (->オリジナル) /