The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Automatic generation of hardware design properties from simulation traces
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
This paper studies the problem of automatic assertion extraction from simulation traces. Previous approaches to the assertion generation problem have focused on a single aspect of automatic assertion extractions, and have yielded often unfavorable results. We propose a framework that combines searching for known assertion via templates with frequent and sequential patterns mining, while constraining the search by some knowledge about the design. These constraints can be automatically extracted using static analysis methods from the Register Transfer Level (RTL) description of the design, or as a user input to the assertion detector. Our experimental results show that this approach helps in the detection of assertion patterns that are typically common and widely used in today's RTL designs.
How it got here
How it got here
agent via openalex
Added
2026-10-26 07:02 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{elmandouh2012automatic,
title = {Automatic generation of hardware design properties from simulation traces},
author = {Eman El Mandouh and Amr G. Wassal},
year = {2012},
journal = {IEEE International Symposium on Circuits and Systems proceedings},
pages = {2317--2320},
doi = {10.1109/iscas.2012.6271758},
}