image/svg+xml
TopologyTranslator
HLL
1/2
Code Translator
HLL
HLL
TopologyTranslator
2/2
Design Translator
HLL
LLL
LLL
LLL
LLL
Expander
1/2
Expander
2/2
Expander
2/2
Expander
1/2
LLL
EquivalenceConstructor
EquivalenceConstructor
LLL
EnvironmentConstraints
HLL
SafetyProperties
HLL
Helper andInsulationPredicates
HLL
Generic SafetySpecification
InductionStrengtheningLemmas
HLL
+
+
+
smart solver
smart solver
smart solver
smart solver
HLL
HLL
+
HLL
+
HLL
+
+
HLL
+
HLL
+
Design to CodeMapper
HLL
HLL
SpecificStationTopology
DB
Specific IXLInstantiatedVital Code
Generic IXLSignalingPrinciples(design)
InterlockingDevelopment process alt-1 (simplified)
Specific IXL InstantiatedDesign
Code Generator orCompiler
Design InstantiationTool