Title :
Formal specification of an FPGA based educational microprocessor
Author :
Mezei, Ivan ; Malbasa, Vuk
Author_Institution :
Fac. of Tech. Sci., Novi Sad Univ., Serbia
fDate :
6/24/1905 12:00:00 AM
Abstract :
The goal of the project Edulent has been to produce specification and design of an educational microcomputer that is simple enough to be implemented on a medium complexity FPGA. In this paper we present formal specification of the Edulent by using Register Transfer Notation (RTN) language. The RTN specification is refined into concrete specification that is the foundation of the Edulent design. We also present some design and implementation details and the features of the final product
Keywords :
computer science education; field programmable gate arrays; formal specification; microcomputers; Edulent; FPGA based microprocessor; RTN specification; Register Transfer Notation language; educational microprocessor; formal specification; medium complexity FPGA; Assembly; Computer architecture; Concrete; Educational institutions; Field programmable gate arrays; Formal specifications; Microcomputers; Microprocessors; Programming profession; Registers;
Conference_Titel :
Microelectronics, 2002. MIEL 2002. 23rd International Conference on
Conference_Location :
Nis
Print_ISBN :
0-7803-7235-2
DOI :
10.1109/MIEL.2002.1003346
