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...

Celý popis

Podrobná bibliografie

Hlavní autor:	S. A. Smolov
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Edice:	Труды Института системного программирования РАН
Témata:	языки описания аппаратуры извлечение моделей статический анализ оптимизация кода абстракция логический синтез функциональная верификация программные срезы графы потока графы зависимостей конечные автоматы расширенные конечные автоматы.
On-line přístup:	https://ispranproceedings.elpub.ru/jour/article/view/578
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!