Title :
Open source tools for model-based FPGA design
Author :
Romanov, Alexey ; Bogdan, Slaschov
Author_Institution :
Control Problems Dept., Moscow State Tech. Univ. of Radio Eng., Electron. & Autom., Moscow, Russia
Abstract :
The article introduces two novel open-source tools for model-based FPGA design and verification. The concept, functionality, key advantages and the result of implementation in FPGA design projects are described. New tools are shown not only to cover all needs of FPGA developers, but also to allow reaching a new level in FPGA design verification.
Keywords :
electronic engineering computing; field programmable gate arrays; formal verification; integrated circuit design; integrated circuit modelling; public domain software; FPGA developer; field programmable gate array; model-based FPGA design verification; open source tool; Field programmable gate arrays; Hardware design languages; IP networks; Libraries; MATLAB; Mathematical model; FPGA design; HDL; MATLAB; corebase; model-based design; open-source; simulation; synthesis; verification; verilator; vmodel;
Conference_Titel :
Control and Communications (SIBCON), 2015 International Siberian Conference on
Conference_Location :
Omsk
Print_ISBN :
978-1-4799-7102-2
DOI :
10.1109/SIBCON.2015.7147193
