Research Catalog

Title

Codesign : computer aided software/hardware engineering / edited by Jerzy Rozenblit, Klaus Buchenrieder.

Publication

Piscataway, NJ : IEEE Press, [1995], ©1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Buchenrieder, Klaus
• Rozenblit, Jerzy

Description

xi, 452 pages : illustrations; 26 cm

Alternative Title

Computer aided software/hardware engineering

Subject

• Computer-aided software engineering
• Computer engineering

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Introduction: Codesign: An Overview / K. Buchenrieder and J. W. Rozenblit -- 1. Term Rewriting as a Tool for Hardware and Software Design / R. Bundgen and W. Kuchlin -- 2. A Declarative Formalism Supporting Hardware/Software Codesign / R. Boute -- 3. (Inter-)Action Refinement: The Easy Way / M. Broy -- 4. Applying Modeling to Embedded Computer Systems Design / D. G. Evans and D. Morris -- 5. Toward a Common Model of Software and Hardware Components / J. Staunstrup -- 6. Modeling of Complex Systems Using Hierarchical Petri Nets / G. Dittrich -- 7. SOLAR: An Intermediate Format for System-Level Modeling and Synthesis / A. A. Jerraya and K. O'Brien -- 8. A Hierarchical View of Time / P. Gillard and K. C. Posch -- 9. An Approach to the Timing Verification of VHDL Descriptions / D. Boussebha and N. Giambiasi -- 10. Design-Flow Graph Partitioning for Formal Hardware/Software Codesign / R. B. Hughes and G. Musgrave --
• 11. A Clustering Approach to Support Hardware/Software Partitioning / E. Barros and W. Rosenstiel -- 12. Implementation-Independent Descriptions Using an Object-Oriented Approach / J. Forrest -- 13. Toward an Environment for System Specification and Design / J. Bortolazzi, Y. Tanurhan and K. D. Muller-Glaser -- 14. System Architecture Design Using Structured Methods / P. Mertens -- 15. First Strategies, Concepts, and Tools for Hardware/Software Codesign in an Emulation-Aided Design Environment / P. Nauber, K. Scherer and G. vom Boegel -- 16. SBDM as a Model for Codesign Data / M. Gandhi and E. L. Robertson -- 17. Hardware/Software Codesign: Experiences with Languages and Architectures / M. D. Edwards -- 18. CODES: A Framework for Modeling Heterogeneous Systems / K. Buchenrieder, A. Sedlmeier and C. Veith -- 19. Hardware/Software Codesign Using Ptolemy: A Case Study / A. Kalavade and E. A. Lee --
• 20. Hardware/Software Coverification of a Telephone Exchange: A Case Study / F. Ostman and L. Taxen -- 21. Computer-Aided Prototyping of Application-Specific Embedded Controllers in Mechatronic Systems: A Case Study / H.-J. Herpel, N. Wehn and M. Glesner.

ISBN

0780310497

LCCN

94022820

OCLC

• 30893120
• ocm30893120

Owning Institutions

Columbia University Libraries