Integrated circuit design verification with module swapping
AssigneeSiFive, Inc.
InventorsAdam Moshe Izraelevitz, Albert Pengju Chen
Life of this patent
Estimating the term…
Abstract
An integrated circuit design may be generated for an integrated circuit. The integrated circuit design may include an instance of a module description that describes a functional operation of a module. The instance may include an input and an output. The integrated circuit design may be encoded in an intermediate representation (IR) data structure. Parameters may be received indicating that the instance should be replaced with a simulation model. The parameters may include a first parameter pointing to the instance and a second parameter pointing to the simulation model.
Claims20
A method comprising:
- generating, by an integrated circuit generator executing on a computer system, an integrated circuit design for an integrated circuit, wherein the integrated circuit design includes an instance of a module description that describes a functional operation of a module, wherein the instance includes an input and an output, and wherein the integrated circuit design is encoded in an intermediate representation (IR) data structure;
- receiving, by the integrated circuit generator, parameters that indicate replacing the instance with a simulation model, wherein the parameters include a first parameter pointing to the instance and a second parameter pointing to the simulation model;
- and
- generating, by the integrated circuit generator, an annotation based on the parameters for use by a compiler to compile the integrated circuit design with the instance replaced by the simulation model.
An apparatus, comprising:
- a memory;
- and
- a processor configured to execute instructions stored in the memory to:
- generate an integrated circuit design for an integrated circuit, wherein the integrated circuit design includes an instance of a module description that describes a functional operation of a module, wherein the instance includes an input and an output, and wherein the integrated circuit design is encoded in an intermediate representation (IR) data structure;
- receive parameters that indicate replacing the instance with a simulation model, wherein the parameters include a first parameter pointing to the instance and a second parameter pointing to the simulation model;
- and
- generate an annotation based on the parameters for use by a compiler to compile the integrated circuit design with the instance replaced by the simulation model.
A non-transitory computer-readable storage medium that includes instructions that, when executed by a processor, causes the processor to:
- generate an integrated circuit design for an integrated circuit, wherein the integrated circuit design includes an instance of a module description that describes a functional operation of a module, wherein the instance includes an input and an output, and wherein the integrated circuit design is encoded in an intermediate representation (IR) data structure;
- receive parameters that indicate replacing the instance with a simulation model, wherein the parameters include a first parameter pointing to the instance and a second parameter pointing to the simulation model;
- and
- generate an annotation based on the parameters for use by a compiler to compile the integrated circuit design with the instance replaced by the simulation model.
Dependencies are inferred from the claim text.