Method for reconfiguration of random biases in a synthesized design without recompilation

A system for performing verification, said system comprising:

• means for converting a bias data specification to a driver specification;
• means for parsing said driver specification into a base constraint and bias file, wherein said base constraint and bias file is suitable for conversion into one of a set comprising a netlist representation and a random simulation representation;
• means for selecting a verification framework from among a set comprising a random verification framework using said random simulation representation and a synthesized verification framework using said netlist representation;
• means, in response to selecting said random verification framework using said random simulation representation, compiling said random simulation representation into a parameter database;
• means, in response to selecting said synthesized verification framework using said netlist representation, compiling said netlist representation into a synthesized model;
• and
• means for testing and verifying a property of at least one of a set of said synthesized model and said parameter database.

A computer program product in a computer-readable for performing verification, said computer program product comprising:

• a computer-readable medium;
• instructions on the computer-readable medium for converting a bias data specification to a driver specification;
• instructions on the computer-readable medium for parsing said driver specification into a base constraint and bias file, wherein said base constraint and bias file is suitable for conversion into one of a set comprising a netlist representation and a random simulation representation;
• instructions on the computer-readable medium for selecting a verification framework from among a set comprising a random verification framework using said random simulation representation and a synthesized verification framework using said netlist representation;
• instructions, in response to selecting said random verification framework using said random simulation representation, compiling said random simulation representation into a parameter database;
• instructions, in response to selecting said synthesized verification framework using said netlist representation, compiling said netlist representation into a synthesized model;
• and
• instructions on the computer-readable medium for testing and verifying a property of at least one of a set of said synthesized model and said parameter database.