# WO2025182189A1

**Code generation device, system, and method from a control model**

- Year: 2025
- Kind: application
- Family: [MathWorks / Simulink](https://lattice-gazette.pages.dev/families/simulink.md)
- Tags: simulink, codegen
- Google Patents: https://patents.google.com/patent/WO2025182189A1

Code generation device, system, and method from a control model. Filed in the MathWorks / Simulink cluster.

## Citation

`WO2025182189A1, "Code generation device, system, and method from a control model," MathWorks / Simulink, 2025. Indexed at Lattice Gazette.`

## Advertisement

**Forma Proof** — Prove the spec. Then compile it. Model-check the contract before the bitstream. Formal tools for teams who already write the diagram. [Read the method](/inventory#ad-forma-proof)