Multilanguage Specification for System Design and Codesign

Abstract

Communication TIME Computation Algorithms Specific Libraries FSMs, Exceptions Control Analytical Power (Formal Analysis) Cost of Use (standard, learning curve, hosts) Expressive power 19 SPW and COSSAP are two DSP oriented environments provided by EDA vendors. The fact that they are based on proprietary language make their cost of use quite high because of lack of standardization and generic tools supporting these languages. These environments also make extensive use of libraries which make formal verification difficult to apply.