Signal Processing WorkSystem (SPW) User's Guide, Cadence Design Systems, Inc., July 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL - Akbarpour, Dekdouk, Tahar (2002) (Correct)
....in oating and xed point representations. Contrary to the oating point arithmetic which is standardized in IEEE 754 [13] and IEEE854 [14] the xed point arithmetic description depends on the tool we use to design the DSP (Digital Signal Processor) chip. In this paper, we consider Cadence SPW [22] xed point arithmetic. Idea Algorithm Floating Point OK OK OK Target System Quantization Code Generation Architectural Description Fixed Point Algorithm No No No Yes Yes Floating Point Implementational Level Algorithmic Level Fig. 1. DSP Design Flow In higher order ....
Signal Processing WorkSystem (SPW) User's Guide, Cadence Design Systems, Inc., July 1999.
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL - Akbarpour, Tahar, Dekdouk (2002) (Correct)
....in oating and xed point representations. Contrary to the oating point arithmetic which is standardized in IEEE 754 [13] and IEEE 854 [14] the xed point arithmetic description depends on the tool we use to design the DSP (Digital Signal Processor) chip. Examples of such tools are SPW (Cadence) [26], Matlab Simulink (Mathworks) 17] CoCentric (Synopsys) 25] DSP Station (Frontier Design) 18] For instance, in SPW (Signal Processing Worksystem) 26] a xed point number is de ned as a binary stream and a set of attributes. Attributes specify how the binary stream is interpreted using ....
....arithmetic description depends on the tool we use to design the DSP (Digital Signal Processor) chip. Examples of such tools are SPW (Cadence) 26] Matlab Simulink (Mathworks) 17] CoCentric (Synopsys) 25] DSP Station (Frontier Design) 18] For instance, in SPW (Signal Processing Worksystem) [26], a xed point number is de ned as a binary stream and a set of attributes. Attributes specify how the binary stream is interpreted using three arguments for the total number of bits, the number of integer bits and the sign format. For arithmetic operations, it supports three kinds of exceptions ....
[Article contains additional citation context not shown here]
Signal Processing WorkSystem (SPW) User's Guide, Cadence Design Systems, Inc., July 1999.
Iterative Decoding Of Turbo Codes And Other Concatenated Codes - Barbulescu (1996) (22 citations) (Correct)
....also used [12] but, due to confidentiality, the results could not be published in this thesis. The symbolic manipulation package Mathematica [13] was used to speed up and carry out some complicated calculations. Some simulations were performed using the Comdisco Signal Processing Worksystem (SPW) [14]. Most of the simulations were done with custom coded C language programs running on a dual processor SPARC10 work station. The only public domain software used was the normal distribution generator published in [15] The results of the computer simulations were displayed using graphs in which ....
Signal Processing Worksystem (SPW) user's guide, Comdisco Systems Inc., Feb. 1989.
Modeling SystemC Fixed-Point Arithmetic in HOL - Akbarpour, Tahar (Correct)
No context found.
Signal Processing WorkSystem (SPW) User's Guide, Cadence Design Systems, Inc., July 1999.
The Application of Formal Verification to SPW Designs - Akbarpour, Tahar (Correct)
No context found.
Signal Processing WorkSystem (SPW) User's Guide, Cadence Design Systems, Inc., July 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC