Partitioning designs to facilitate certification

摘要

This disclosure relates generally to field-programmable gate arrays (FPGAs). Some implementations relate to methods and systems for partitioning FPGA circuit designs to facilitate certification. In one aspect, a method includes generating a hardware description language (HDL) implementation of a circuit design. The method additionally includes partitioning the design into a first portion and a second portion. In some implementations, the second portion corresponds to a safety-critical portion of the design while the first portion corresponds to a non-safety-critical portion. The method additionally includes generating first configuration settings for the first portion and generating second configuration settings for the second portion. The method additionally includes verifying, or providing to a third-party certification body for verification, the first configuration settings for the first portion and the second configuration settings for the second portion. The method further includes providing the configuration settings for the second portion for programming into a PLD.

主权项

1. A method comprising:
generating, by one or more computer systems, a hardware description language (HDL) implementation of a circuit design to be implemented on a programmable logic device (PLD); partitioning, by the one or more computer systems, the circuit design into a first portion and a second portion, the first portion including an interface for coupling the first portion and the second portion; generating, by the one or more computer systems, a netlist representation of the second portion; generating, by the one or more computer systems, programming bits for the second portion based on the netlist representation of the second portion; verifying by the one or more computer systems, or providing to a third-party certification body for verification, the programming bits for the second portion; revising, by the one or more computer systems, the first portion after generating the netlist representation of the second portion; generating, by the one or more computer systems, a netlist representation of the revised first portion; and merging, by the one or more computer systems, the netlist representation corresponding to the previously-verified second portion with the netlist representation of the revised first portion.