image/svg+xml
Code Translator
HLL
Design Translator
HLL
LLL
LLL
Expander
2/2
Expander
1/2
EquivalenceConstructor
LLL
smart solver
smart solver
+
HLL
+
+
HLL
+
Design to CodeMapper
HLL
HLL
SystemCode
InformalSystemSpecificationand/orDesign
Development process alt-1 (simplified)
FormalSystemDesign
Code Development,Code Generator,Compiler, ...
naturallanguage
designformalisation