A Survey of Methods for Model Extraction from HDL Descriptions

In this paper a survey of existing methods of model extraction from hardware system descriptions written in Hardware Description Languages (like Verilog and VHDL) is presented. There are many tasks in hardware and software design where models are applied. The most actual tasks that are mentioned in...

Descripció completa

Dades bibliogràfiques

Autor principal:	S. A. Smolov
Format:	Artigo
Idioma:	Inglês
Publicat:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Col·lecció:	Труды Института системного программирования РАН
Matèries:	языки описания аппаратуры извлечение моделей статический анализ оптимизация кода абстракция логический синтез функциональная верификация программные срезы графы потока графы зависимостей конечные автоматы расширенные конечные автоматы.
Accés en línia:	https://ispranproceedings.elpub.ru/jour/article/view/578
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!