DocumentCode
1618001
Title
Formal specification of an FPGA based educational microprocessor
Author
Mezei, Ivan ; Malbasa, Vuk
Author_Institution
Fac. of Tech. Sci., Novi Sad Univ., Serbia
Volume
2
fYear
2002
fDate
6/24/1905 12:00:00 AM
Firstpage
667
Lastpage
670
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Microelectronics, 2002. MIEL 2002. 23rd International Conference on
Conference_Location
Nis
Print_ISBN
0-7803-7235-2
Type
conf
DOI
10.1109/MIEL.2002.1003346
Filename
1003346
Link To Document