Advertisement

System cars and its description language

  • L. L. Máté
  • M. Bohus
  • Gy. Csopaki
  • A. Filp
  • A. Hinsenkamp
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 152)

Abstract

System CARS (a Computer Aid for Recursive Synthesis) has been developed to assist the designer in the synthesis phase of the design of digital systems. CARS applies a top-down structured approach in the design process and can be used at any user-defined level of refinement. CARS does not apply any restriction on the creative work of the designer, but it only gives means to describe his concepts and tools to check his results. The design language defined for CARS is well suited to describe behavioral concepts and structures as well. One of the most important feature is that the designer can use the same SHADE/CARS language for both purposes. CARS supports the consistency analysis of the refinement level achieved and it not only compares neighboring levels of the same design, but at the same time it derives functional tests for the lower-level structure. At the end of the design process these tests are automatically composed into a functional test of the hardware designed. Each level of the design is kept in the CARS library and can be modified at any moment of the design process. When modification takes place CARS makes a thorough analysis of it thus enforcing correctness. When using multi-level simulation as an analysis tool of CARS, the system provides standard means for data and time refinements and coarsening as well.

Keywords

Output Event Design Step Input Event Path Expression Behavioral Description 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Coplaner, H.D. and Janku, J.A.: Top Down Approach to LSI System Design. Computer Design, Vol. 13,No.8. August 1974.Google Scholar
  2. 2.
    Hill, D., van Cleemput, W.: SABLE: a Tool for Generating Structured Multi-level Simulation. Proc. of 16th Design Automation Conference, San Diego, 1979.Google Scholar
  3. 3.
    Máté, L., Bohus, M., Filp, A., Hinsenkamp, A.: CARS: A Computer Aid for Recursive Synthesis. Proc. of ICCC'80, Port Chester, 1980.Google Scholar
  4. 4.
    Noon, W.A.: A Design Verification and Logic Validation System. Proc. of the 14th Design Automation Conference, New York, 1977.Google Scholar
  5. 5.
    Compbell, R.H., Habermann, A.N.: Process Synchronization by Path Expressions. Lecture Notes in Computer Science No. 16, New York, 1974.Google Scholar
  6. 6.
    Koster, C.H.A.: CDL-A Compiler Implementation Language. Springer Verlag, Berlin, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • L. L. Máté
    • 1
  • M. Bohus
    • 2
  • Gy. Csopaki
    • 2
  • A. Filp
    • 2
  • A. Hinsenkamp
    • 3
  1. 1.Computer and Automation Institute of Hungarian Academy of SciencesBudapestHungary
  2. 2.Technical University of BudapestHungary
  3. 3.Institute for Coordination of Computer TechnicsBudapestHungary

Personalised recommendations