Skip to main content

Systems Real Time Analysis with VHDL Generated from Graphical SA-VHDL

  • Chapter
Book cover VHDL for Simulation, Synthesis and Formal Proofs of Hardware

Abstract

This paper will demonstrate a method in which the high level system specification is defined using an user-friendly CASE tool together with VHSIC Hardware Description Language, VHDL. This method called SA-VHDL is especially suitable for system partitioning process of digital real-time embedded systems. A prototype tool SYS-RTA has been implemented to demonstrate the automatic conversion from the CASE tool output to the executable analysis model in VHDL. Simulation of the generated VHDL model reports the performance, i.e. response times, the resource usage, function activities and behavioural errors of the system. These results can be used for the quality analysis of the current system partitioning.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Schindler, M., Design tools master embedded software’s real-time demands, Electronic Design, Sept. 17 1987, pp. 65–66

    Google Scholar 

  2. Maliniak, L., One tool verifies system and software, Electronic Design, Nov. 22 1990. pp. 49–52

    Google Scholar 

  3. IEEE Standard VHDL Language Reference Manual, IEEE Std 1076-1987, N.Y. 1988

    Google Scholar 

  4. Narayan, S. & Vahid, F. & Gajski, D.: Translating Systems Specifications to VHDL, The European Design Automation Conference, ED AC 91.

    Google Scholar 

  5. Hady, ET., Aylor J.H., Waxman, R.: Uninterpreted modeling using the VHSIC hardware description language (VHDL), ICCAD 89, Santa Clara, CA.

    Google Scholar 

  6. Ward, P.T. and Mellor, S.J., Structured Development for Real-Time Systems, Vol. 1-3. Yourdon Press, N.Y. 1986

    Google Scholar 

  7. Ward, Paul T., The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing, IEEE Transactions on Software Engineering, Vol SE-12, No. 2, Feb86

    Google Scholar 

  8. Lahti, J., Sipola, M., Kivelä, J., SADE: A Graphical Tool for VHDL-based System Analysis, ICCAD 91, Santa Clara, CA., U.S.A., Nov. 11–14 1991

    Google Scholar 

  9. Tikkanen, T., Leppänen, T., Kivelä, J.. Structured Analysis and VHDL in Embedded ASIC Design and Verification, EDAC 1990, Glasgow, pp. 107–111

    Google Scholar 

  10. Kivelä, J, Leppänen, T, Sipola, M., VHDL Supported by Graphical CASE Tools for High Level System Design & Implementations EUROVHDL90, Marseille, France 1990

    Google Scholar 

  11. Tervonen M., Prosa—Professional Structured Analysis Tool for Software Development, Daisee87 symposium, Oslo, Norway, Nov87

    Google Scholar 

  12. Juha-Pekka Soininen, Matti Sipola, Kari Tiensyrjä: SW/HW-Partitioning of Real-Time Embedded Systems, Microprocessing and Microprogramming, The Euromicro Journal, Volume 27, No. 1-5, 1989, pp. 239–244.

    Google Scholar 

  13. Matti Kauppi, Juha-Pekka Soininen: Functional Specification and Verification of Digital Systems by Using VHDL Combined with Graphical Structured Analysis (SA), EUROVHDL 91

    Google Scholar 

  14. VHDL Design Environment (VDE) User’s Manual, Version 3.0 (Unix), 21 December 1990, Intermetrics

    Google Scholar 

  15. V-System/Windows User’s Manual—VHDL for Microsoft Windows 3.0, Model Technology, 1991

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Sipola, M., Soininen, JP., Kivelä, J. (1992). Systems Real Time Analysis with VHDL Generated from Graphical SA-VHDL. In: Mermet, J. (eds) VHDL for Simulation, Synthesis and Formal Proofs of Hardware. The Kluwer International Series in Engineering and Computer Science, vol 183. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-3562-1_6

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-3562-1_6

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-6582-2

  • Online ISBN: 978-1-4615-3562-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics