Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/8413
Title: | Formal specification of an FPGA based educational microprocessor | Authors: | Mezei, Ivan Malbaša, Vuk |
Issue Date: | 1-Jan-2002 | Journal: | 2002 23rd International Conference on Microelectronics, MIEL 2002 - Proceedings | 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. © 2002 IEEE. | URI: | https://open.uns.ac.rs/handle/123456789/8413 | ISBN: | 780372352 | DOI: | 10.1109/MIEL.2002.1003346 |
Appears in Collections: | FTN Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
7
checked on May 10, 2024
Page view(s)
29
Last Week
7
7
Last month
10
10
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.