Logic Solver Data Model

The following diagram shows how the families used to create a Logic Solver are related to one another.

In the diagram, the relationships between the Instrumented Function family and the SIS Proof Test, SIS Proof Test Task, and SIS Proof Test Template families are not included.

Note: In the diagram, boxes represent entity families and arrows represent relationship families that are configured in the baseline database. You can determine the direction of the each relationship definition from the direction of the arrow head: the box from which the arrow originates is the predecessor, and the box to which the arrow head points is the successor.

As shown in the image, Logic Solvers are linked to Instrumented Functions, which store information about the specific functions associated with the Logic Solver. Logic Solvers are also linked to records in the following families:

SIS Proof Test: Stores details of proof tests that are performed on logic solvers or instrumented functions. SIS Proof Tests can be linked to Functional Test Details, which store the detailed steps that need to be performed during proof tests.
SIS Proof Test Task: Stores details of proof test tasks that are scheduled for logic solvers or instrumented functions. SIS Proof Test Tasks can be linked to SIS Proof Tests.
SIS Proof Test Template: Stores details of the steps that should be taken when testing a logic solver or an instrumented function. When you create an SIS Proof Test, you can select an SIS Proof Test Template and the details from the SIS Proof Test Template will be populated in the SIS Proof Test.

SIS Proof Test Template) records can be linked to SIS Proof Test Template Detail) records, which store details on the steps that need to be performed during the proof test.

The SIS Proof Test, SIS Proof Test Template, and Reference Document families participate as successors in other relationships within the SIS Management data model. This means that these families appear in another portion of the data model.