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

Constrained Stimulus Generation with Self-Adjusting Using Tabu Search with Memory Geração de estímulos restritos com autoajuste usando pesquisa tabu com memória

Yanni ZHAO, Jinian BIAN, Shujun DENG, Zhiqiu KONG, Kang ZHAO

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Apesar do crescente esforço de pesquisa em verificação formal, a verificação industrial muitas vezes depende da metodologia de simulação aleatória restrita, que é apoiada por solucionadores de restrições como gerador de estímulos integrado ao simulador, especialmente para projetos grandes com restrições complexas atualmente. Esses geradores de estímulos precisam ser rápidos e bem distribuídos para manter o desempenho da simulação. Neste artigo, propomos um método dinâmico para orientar a geração de estímulos por solucionadores SAT. Uma estratégia de ajuste denominada Busca Tabu com Memória (TSwM) é integrada no gerador de estímulos para os processos de busca e remoção junto com o solucionador de restrições. Resultados experimentais mostram que o método proposto neste artigo poderia gerar estímulos bem distribuídos com bom desempenho.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E92-A No.12 pp.3086-3093
Data de publicação
2009/12/01
Publicitada
ISSN online
1745-1337
DOI
10.1587/transfun.E92.A.3086
Tipo de Manuscrito
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Categoria
Síntese Lógica, Teste e Verificação

autores

Palavra-chave