Formal specification of an FPGA based educational microprocessor

Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке: https://open.uns.ac.rs/handle/123456789/8413

Назив:	Formal specification of an FPGA based educational microprocessor
Аутори:	Mezei, Ivan Malbaša, Vuk
Датум издавања:	1-јан-2002
Часопис:	2002 23rd International Conference on Microelectronics, MIEL 2002 - Proceedings
Сажетак:	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
Налази се у колекцијама:	FTN Publikacije/Publications