image/svg+xml
Code & TopologyTranslator
HLL
Design & TopologyTranslator
HLL
LLL
LLL
Expander
2/2
Expander
1/2
smart solver
EquivalenceConstructor
LLL
smart solver
smart solver
+
HLL
EnvironmentConstraints
HLL
SafetyProperties
HLL
Helper andInsulationPredicates
HLL
Generic SafetySpecification
InductionStrengtheningLemmas
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