Functional verification with machine learning

A system comprising:

• a memory system configured to store computer-executable instructions;
• and
• a computing system, in response to execution of the computer-executable instructions, is configured to:
• select a design block in a circuit design of an electronic device for functional verification result reuse;
• detect the selected design block is to be simulated with input stimulus;
• when the selected design block was previously simulated with the input stimulus, bypass the simulation of the design block, identify an output generated in a previous simulation of the selected design block in response to the input stimulus based on a mapping stored in a database that correlates a combination of the selected design block and the input stimulus with the output generated in the previous simulation of the selected design block, and utilize the identified output as a result for the simulation of the design block;
• and
• when the selected design block was not previously simulated with the input stimulus, simulate the selected design block with the input stimulus and modify the mapping stored in the database to include an entry correlating the combination of the selected design block and the input stimulus to an output generated in the simulation of the selected design block with the input stimulus.

An apparatus comprising at least one computer-readable memory device storing instructions configured to cause one or more processing devices to perform operations comprising:

• selecting a design block in a circuit design of an electronic device for functional verification result reuse;
• detecting the selected design block is to be simulated with input stimulus;
• and
• when the selected design block was previously simulated with the input stimulus, bypassing the simulation of the design block, identifying an output generated in a previous simulation of the selected design block in response to the input stimulus based on a mapping stored in a database that correlates a combination of the selected design block and the input stimulus with the output generated in the previous simulation of the selected design block, and utilizing the identified output as a result for the simulation of the design block;
• and
• when the selected design block was not previously simulated with the input stimulus, simulating the selected design block with the input stimulus and modifying the mapping stored in the database to include an entry correlating the combination of the selected design block and the input stimulus to an output generated in the simulation of the selected design block with the input stimulus.