Have I Written Enough Properties

Logical bugs like to hide in the gap between the design intent specification and the implementation. The RTL designer typically receives the specification as an English document and develops the implementation on the basis of her understanding of this document. Using a natural language such as English creates the possibility of a gap between the design architect’s actual intent and the RTL designers’ perception of this intent. Some of the hardest logical bugs love to hide in this gap.