Complete Property Suite

Concept

A complete property suite is a set of formal hardware-verification properties whose completeness can be checked by ensuring that every input scenario is covered by a deterministic chain of properties that uniquely predicts design state and outputs. In the cited processor-verification flow, a successfully verified complete suite forms a model of the verified design and can be reformulated in an architectural style to generate a C++ instruction set simulator.

First seen 5/26/2026

Last seen 5/29/2026

Evidence 9 chunks

Wiki v2

WIKI

Complete Property Suite

A complete property suite is a set of formal verification properties that is complete enough to cover every possible input scenario of a design, where an input scenario corresponds to a transaction sequence. Completeness analysis checks whether such scenarios can be covered by a chain of properties that predicts the values of states and outputs at every point in time. In this sense, any two designs satisfying all properties of a complete property suite are formally equivalent. [CompletenessDefinition]

Completeness analysis

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

12 connections

Operation Property uses → 90% 2e

The complete property suite consists of operation properties describing each instruction.

formal verification derived from → 100% 2e

The complete property suite results from the formal verification process of a processor.

C++ Instruction Set Simulator ← derived from 100% 2e

The C++ ISS is automatically generated from the complete property suite.

Completeness Analysis uses → 100% 2e

Completeness analysis is used to verify that a property suite is complete.

Processor Verification ← uses 100% 2e

Processor verification uses a complete property suite to ensure full coverage of design behavior.

Generating an Efficient Instruction Set Simulator from a Complete Property Suite ← uses 100% 2e

The paper's approach relies on a complete property suite as the basis for generating the ISS.

Generated C++ ISS ← derived from 100% 2e

The generated C++ ISS is automatically derived from the complete property suite.

Architectural Style Properties uses → 100% 2e

The complete property suite is formulated in an architectural style.

C++ Instruction Set Simulator ← uses 100% 2e

The complete property suite is the source from which the C++ ISS is automatically generated.

formal verification ← uses 100% 2e

Formal verification is carried out using a complete property suite.

instrADD property ← part of 95% 1e

The instrADD property is one property in the complete property suite describing ADD instruction behavior.

isa property ← part of 95% 1e

The isa property is the top-level equivalence property in the property suite.

LINKED ENTITIES

7 links

Generating an Efficient Instruction Set Simulator from a Complete Property Suite USES Extracted graph relationship

Generated C++ ISS DERIVED_FROM Extracted graph relationship

instrADD property PART_OF Extracted graph relationship

isa property PART_OF Extracted graph relationship

Architectural Style Properties USES Extracted graph relationship

Operation Property USES Extracted graph relationship

formal verification USES Extracted graph relationship

CITATIONS

13 sources

13 citations — click to expand

[1] CompletenessDefinition Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[2] CompletenessChecks Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[3] VerifiedDesignModel Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[4] IPC Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[5] ITL Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[6] OperationView Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[7] ADDCompleteness Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[8] ArchitecturalStylePurpose Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[9] ArchitecturalStyleElements Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[10] ArchitecturalStyleVerification Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[11] ISSGeneration Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[12] ArchitecturalStateModeling Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[13] PracticalSignificance Generating an Efficient Instruction Set Simulator from a Complete Property Suite