# CN112306470B

**Simplified transformation and automatic verification of complex synchronous-language programs**

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

Simplified transformation and automatic verification of complex synchronous-language programs. Filed in the Formal specification to code cluster.

## Citation

`CN112306470B, "Simplified transformation and automatic verification of complex synchronous-language programs," Formal specification to code, 2021. Indexed at Lattice Gazette.`

## Advertisement

**Volta Lattice** — The fabric, compiled. Place, route, and time the bitstream from the same graph you already drew. One desk for FPGA teams who still read patents. [Ask the desk](/inventory#ad-volta-lattice)