A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Finite Input-Memory Automaton Based Checker Synthesis of SystemVerilog Assertions for FPGA Prototyping Síntese de verificador baseado em autômato de memória de entrada finita de asserções SystemVerilog para prototipagem FPGA

Chengjie ZANG, Shinji KIMURA

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

A síntese de verificadores para verificação baseada em asserções torna-se popular devido ao progresso recente no ambiente de prototipagem FPGA. No artigo, propomos um método de síntese de verificador baseado no autômato de memória de entrada finita adequado para módulos RAM embarcados em FPGA. Existem mais de 1 Mbit de memória em FPGAs de tamanho médio e essas células de memória incorporadas têm a capacidade de serem usadas como registradores de deslocamento. A ideia principal é construir um circuito verificador usando autômatos de memória de entrada finita e implementar a cadeia de registradores de deslocamento por elementos lógicos ou módulos de RAM embarcados. Ao utilizar o módulo RAM, o método não consome nenhum elemento lógico para armazenar o valor. Observe que a cadeia de registradores de deslocamento da memória de entrada pode ser compartilhada com diferentes asserções e podemos reduzir significativamente o recurso de hardware. Verificamos a eficácia do método proposto usando diversas afirmações.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E92-A No.6 pp.1454-1463
Data de publicação
2009/06/01
Publicitada
ISSN online
1745-1337
DOI
10.1587/transfun.E92.A.1454
Tipo de Manuscrito
PAPER
Categoria
Tecnologia de Design VLSI e CAD

autores

Palavra-chave