In the case of STATEMATE, the designs could be executed directly and there was also tooling to generate compile-able code (Ada/C). Pretty impressive! cf. https

In the case of STATEMATE, the designs could be executed directly and there was also tooling to generate compile-able code (Ada/C). Pretty impressive! cf. https://en.wikipedia.org/wiki/I-Logix https://en.wikipedia.org/wiki/I-Logix