loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
1997 VHDL International User's Forum (VIUF '97)
Semantics Based Co-Specifications To Design DSP Systems
Arlington, VA
October 19-October 22
ISBN: 0-8186-8180-2
Xavier Warzee, Thomson-CSF Optronique, France
P. Kajfasz, Thomson-CSF Optronique, France
Presents our approach to the definition of a multi-paradigm environment to specify, model and synthesize embedded digital signal processing (DSP) systems. Instead of assuming one semantics (for instance, synchronous semantics) to specify and model the whole system, we propose to use simultaneously several semantics to describe and validate key system properties. Traceability of system requirements is challenging with such an approach. We propose an architectural view of systems which defines components and connectors to support respectively functional and non-functional requirements with several levels of abstraction specifying systems. Using the object-oriented framework Ptolemy, which supports simulating and prototyping of heterogeneous systems, a global view of the system is ensured, allowing us to validate its behavior and properties.
Index Terms:
digital signal processing chips; semantics-based co-specifications; embedded digital signal processing systems design; multi-paradigm environment; key system properties; system requirements traceability; architectural view; connectors; functional requirements; nonfunctional requirements; abstraction levels; object-oriented framework; Ptolemy; prototyping; heterogeneous systems simulation; global view; hardware-software codesign
Citation:
Xavier Warzee, P. Kajfasz, "Semantics Based Co-Specifications To Design DSP Systems," viuf, pp.105, 1997 VHDL International User's Forum (VIUF '97), 1997
Usage of this product signifies your acceptance of the Terms of Use.