# US7941438B2

**Automatic generation of information-system user interfaces**

- Year: 2011
- Kind: granted
- Family: [Formal specification to code](https://lattice-gazette.pages.dev/families/formal-spec.md)
- Tags: formal-spec, compilation
- Google Patents: https://patents.google.com/patent/US7941438B2

Automatic generation of information-system user interfaces. Filed in the Formal specification to code cluster.

## Citation

`US7941438B2, "Automatic generation of information-system user interfaces," Formal specification to code, 2011. Indexed at Lattice Gazette.`

## Advertisement

**Drafter & Co.** — Diagrams that emit Verilog. A drawing board that lowers to synthesizable RTL. No second source of truth, no late rewrite into HDL. [See the board](/inventory#ad-drafter)