Automatic generation of random stimuli sources based on Parameter Domains for functional verification

Functional verification is based on the simulation of a circuitpsilas hardware design language (HDL) model at register transfer level (RTL) and checking the results against the specification. Random stimuli generation has been largely used in different testbench architectures, but the manual coding of the stimuli sources may lead to the stimulation of redundant and invalid test vectors what causes a negative impact on verification performance. They can be eliminated by taking advantage of the dependencies of designpsilas input parameters, splitting the simulation space into parameter domains. In this paper we propose an efficient functional verification methodology based on the parameter domains framework and constraint based random stimulation. Additionally, the paper presents a tool to automatically generate SystemC stimuli sources from modulepsilas parameter domains specification, providing an extra verification time save-up.