We present a system for the formal verication of processors which combines a computer algebra simplication tool with an object-oriented approach. It has been successfully used f...
A new VLSI architecture for real-time pipeline FFT processor is proposed. A hardware oriented radix-22 algorithm is derived by integrating a twiddle factor decomposition technique ...