Title :
Formal design of RNS processors
Author :
Elleithy, Khaled M. ; Bayoumi, Magdy A.
Author_Institution :
Dept. of Comput. Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
Abstract :
A formal design methodology is used to design a residue Number System (RNS) processor. An optimal architecture for the residue decoding process is obtained through this design approach. The architecture is modular, consists of simple cells, and is general for any set of moduli
Keywords :
digital arithmetic; number theory; parallel architectures; RNS processors; formal design; modular architecture; optimal architecture; residue Number System; residue decoding process; Computer architecture; Decoding; Design methodology; Logic programming; Minerals; Parallel architectures; Petroleum; Process design; Specification languages; User interfaces;
Conference_Titel :
Circuits and Systems, 1991. Conference Proceedings, China., 1991 International Conference on
Conference_Location :
Shenzhen
DOI :
10.1109/CICCAS.1991.184429
