Lightweight coding agent that runs in your terminal
A New Programming Language for FPGA Projects
VCS Information Generator tool
A tool for finite state machine analysis and synthesis.
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Toolkit for Automatic Control and Dynamic Optimization