Intelligent Verification, also referred to as intelligent testbench automation, is a form of functional verification used to verify that an electronic hardware design conforms to specification before device fabrication. Intelligent verification uses information derived from the design and existing test description to automatically update the test description to target design functionality not verified, or "covered" by the existing tests.
Intelligent verification software has this key property: given the same test environment, the software will automatically change the tests to improve functional design coverage in response to changes in the design. Other properties of intelligent verification may include:
- Providing direction as to why certain coverage points were not detected.
- Automatically tracking paths through design structure to coverage points, to create new tests.
- Ensuring that various aspects of the design are only verified once in the same test sets.
"Intelligent Verification" uses existing logic simulation testbenches, and automatically targets and maximizes the following types of design coverage:
- Code coverage
- Branch coverage
- Expression coverage
- Functional coverage
- Assertion coverage
Read more about Intelligent Verification: History, See Also, Vendors Offering Intelligent Verification
Famous quotes containing the words intelligent and/or verification:
“When a bachelor of philosophy from the Antilles refuses to apply for certification as a teacher on the grounds of his color I say that philosophy has never saved anyone. When someone else strives and strains to prove to me that black men are as intelligent as white men I say that intelligence has never saved anyone: and that is true, for, if philosophy and intelligence are invoked to proclaim the equality of men, they have also been employed to justify the extermination of men.”
—Frantz Fanon (1925–1961)
“Science is a system of statements based on direct experience, and controlled by experimental verification. Verification in science is not, however, of single statements but of the entire system or a sub-system of such statements.”
—Rudolf Carnap (1891–1970)