Robustness and Usability in Modern Design Flows
- Year
- 2008
- Authors
- DOI
- 10.1007/978-1-4020-6536-1
Related
Persistent Notes
In-text annotations
“This speeds up the time-consuming manual creation of formal properties also in the enhanced design flow." Page 76
“5.1.2 Selection of Properties” Page 81
“5.1.2.1 Choosing a Useful Property” Page 81
“Setting up properties for formal verification is a time-consuming manual process as well." Page 87
“But with increasing design complexity it becomes more and more important to get an understanding of the design, i.e. to check whether the implemented formal model corresponds to the intention and ideas of the person who wrote the initial specification (usually in form of a textbook). This specification is commonly given in natural language and by this may contain inconsistencies, nonprecise descriptions or even contradicting requirements." Page 87
%% Import Date: 2026-06-06T21:57:30.290-04:00 %%