Higher-Order Logics

  • Thomas Kropf
Chapter

Abstract

The approach presented in this chapter significantly differs from all formalisms presented before. Up to now, all approaches were
  • fully automized

  • based on simple formalisms like FSMs, close to the usual modeling methods of hardware designers

Keywords

Upscaling 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Thomas Kropf
    • 1
    • 2
  1. 1.Department K8/DIC3Robert Bosch GmbHReutlingenGermany
  2. 2.Wilhelm Schickard Institute of Computer ScienceUniversity of TübingenTübingenGermany

Personalised recommendations