|
Our group is involved in the the PROSYD project -- PROperty-based
SYstem Design. PROSYD is a Specific Target Research Project sponsored
by the European Commission, Information Society Technologies under the
6th Framework Program. The consortium includes IBM Haifa Research
labs, Infineon, ST Microelectronics, Weizman Institute of Science,
Technical University of Graz, Verimag and Accelera and ITC-irst
(http://www.prosyd.org).
The goal of the PROSYD project is to significantly increase the competitiveness and efficiency of the European IT industry through the establishment of a standard, integrated property-based paradigm for the design of electronic systems. This paradigm will integrate and unify the many phases of system development, including requirement definition, design, implementation, and verification, into one coherent design flow, building on the emerging standard property specification language PSL/Sugar, which has been recently selected as a basis for an IEEE standard. The new paradigm will enable the development of electronic systems of higher quality within shorter design cycles and with lower costs. Within the PROSYD project will be delievered a reference methodology and a set of coherent PSL/Sugar-based tools for property-based system design. |