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.
Extraction of missing formal assumptions in under-constrained designs
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
In the context of the formal functional verification of RTL designs, experience shows that a false failure is often observed. Most of the time, this failure is cause d by an under-constrained model. The analysis of the root cause for the verification error and the creation of missing constraints are a significant time burden. In this paper, we present a methodology to automatically infer these missing constraints: Constraint Extraction from Counter-Examples (CExtract). First, multiple counter-examples are generated for the same property. Then, potential constraints are mined from the counter-examples, and filtered to provide a limited number of assumptions for the user for review.
How it got here
How it got here
agent via openalex
Added
2026-10-26 03:33 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{plassan2017extraction,
title = {Extraction of missing formal assumptions in under-constrained designs},
author = {Guillaume Plassan and Katell Morin-Allory and D. Borrione},
year = {2017},
journal = {ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},
pages = {94--103},
doi = {10.1145/3127041.3127046},
}