2 search results - page 1 / 1 » Towards verifying VHDL descriptions of processors |
EURODAC
1995
IEEE
13 years 8 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
IPPS
1996
IEEE
13 years 9 months ago
1996
IEEE
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 ...