# WO2008075087A1

**Automatically translating modelling-language code to hardware-language code**

- Year: 2008
- Kind: application
- Family: [UML/SysML to HDL](https://lattice-gazette.pages.dev/families/uml-hdl.md)
- Tags: uml-hdl, fpga
- Google Patents: https://patents.google.com/patent/WO2008075087A1

Modelling-language code automatically translated into hardware-language code.

## Citation

`WO2008075087A1, "Automatically translating modelling-language code to hardware-language code," UML/SysML to HDL, 2008. 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)