Automatic Generation of Complex Properties for Hardware Designs
- Year
- Error: `format` can only be applied to dates. Tried for format object
- Authors
- Frank Rogin, Thomas Klotz, Gorschwin Fey, Rolf Drechsler, Steffen Rulke
- DOI
Related
[[vasudevanGoldMineAutomaticAssertion2010]]
Persistent Notes
In-text annotations
“Abstract” Page 545
“1. Introduction” Page 545
“All these techniques, however, require a formal specification of the design. For that, properties have to be defined manually which is an error-prone and non-trivial task. They are normally derived from a high-level specification writ∗Partial funding provided by the URANOS project, BMBF-01M3075. ten in natural language that may contain inconsistent, erroneous, or incomplete requirements. The declarative nature of property languages often also hampers a widespread application of formal techniques. Furthermore, complex properties expressing the inter-module interaction are hard to write. The increasing design complexity and a distributed development process additionally complicate this task. So, any method to reduce the effort of writing properties and in particular to abstract the design behavior would be beneficial. Most especially, this could help to increase the acceptance of formal techniques." Page 545
This is the motivation given. All known facts but idk if this is what I need. Page 545
“2. Generation methodology” Page 546
“3. Dianosis property generation” Page 546
“4. Experimental results” Page 547
“5. Conclusion” Page 548
%% Import Date: 2026-06-05T17:47:30.139-04:00 %%