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 Extraction of Assertions from Execution Traces of Behavioural Models
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
Several approaches exist for specification mining of hardware designs. Most of them work at RTL and they extract assertions in the form of temporal relations between Boolean variables. Other approaches work at system level (e.g., TLM) to mine assertions that specify the behaviour of the communication protocol. However, these techniques do not generate assertions addressing the design functionality. Thus, there is a lack of studies related to the automatic mining of assertions for capturing the functionality of behavioural models, where logic expressions among more abstracted (e.g., numeric) variables than bits and bit vectors are necessary. This paper is intended to fill in the gap, by proposing a tool for automatic extraction of temporal assertions from execution traces of behavioural models by adopting a mix of static and dynamic techniques.
How it got here
How it got here
agent via openalex
Added
2026-10-26 02:53 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{danese2015automatic,
title = {Automatic Extraction of Assertions from Execution Traces of Behavioural Models},
author = {Alessandro Danese and Tara Ghasempouri and Graziano Pravadelli},
year = {2015},
journal = {Design, Automation, and Test in Europe},
pages = {67--72},
doi = {10.7873/date.2015.0110},
}