Titlebook: Synchronous Equivalence; Formal Methods for E Harry Hsieh,Felice Balarin,Alberto Sangiovanni-Vin Book 2001 Springer Science+Business Media

Inertia

The Polis Codesign Framework,ementations. The target applications of POLIS are control dominated embedded systems such as automotive control systems and ATM switches. There is no fixed target architecture . Designers are free to utilize architectures consisting of any number of computational resources connecting through simple

构想

Mercurial

agglomerate

Static Equivalence Analysis,on parameters or simple search on the system graph is needed for these algorithms. Consequently, they have extremely low bounds on maximum computation time, at the cost that many inconclusive results are possible due to the false negatives. We will show through examples that they are still very usef

cogent

Communication Analysis,ations with different delay insensitive scheduling policies may still be synchronously equivalent to each other, depending on the behavior of the design. In this chapter, we introduce communication analysis, that can be used to conservatively check the equivalence between two different delay insensi

ABIDE

Talkative

Introduction,oducts and systems that could not even be dreamt of just a few years ago. Some examples of embedded systems are automotive control systems, manufacturing systems, network switches, climate control systems, home appliances such as microwave ovens or refrigerators, cellular phones, Personal Digital Assistants, pagers, pacemakers, weapons, and toys.

emulsify

Bombast

978-1-4613-5664-6Springer Science+Business Media New York 2001

Anticlimax