# US8869103B2

**Using intermediate representations to verify computer-executable code generated from a model**

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

Intermediate representations used to verify executable code generated from a model.

## Citation

`US8869103B2, "Using intermediate representations to verify computer-executable code generated from a model," MathWorks / Simulink, 2014. Indexed at Lattice Gazette.`

## Advertisement

**Glyph Route** — The netlist is a drawing. Place-and-route from the same graph you already showed the gazette. Rotates through MCP tool results and JSON envelopes. [Open the router](/inventory#ad-glyph-route)