The Continuous Electronics Enhancements using SImulatable Sp[ecifications (CEENSS) project was begun in 1995 to define a methodology and provide CAD/CAE tools to improve the electronic design process. More specifically, TRW, along with the University of Cincinnati, Motorola and Mentor Graphics, is defining the system requirements methodology for applying formal methods to the specification of board/module-level products, and the associated impacts to the development prcess, tool integration, and eletronic data interchange (EDI). A key acitivity of the project is the definition of a Simulatable Specification (SimSpec) that is compatible with and complementary to the methodology. Now in its fourth and final year, CEENSS has met most of its objectives and will achieve additional goals in 1998. This paper presents a CEENSS status reportk focusing on accomplishments in enhancing CAD/CAE tools to supprt the CEENSS methodology.
展开▼