# US9880922B1

**Automatically generating a graphical model from a text-based program; HDL and synthesis**

- Year: 2018
- Kind: granted
- Family: [MathWorks / Simulink](https://lattice-gazette.pages.dev/families/simulink.md)
- Tags: simulink, fpga
- Google Patents: https://patents.google.com/patent/US9880922B1

The reverse compiler: text program to graphical model, including HDL and synthesis.

## Citation

`US9880922B1, "Automatically generating a graphical model from a text-based program; HDL and synthesis," MathWorks / Simulink, 2018. 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)