An integrated circuit verification method and system are disclosed. The
method includes generating a test description comprising a set of test
cases. The functional coverage achieved by the test description is then
determined. The functional coverage achieved is then compared against
previously achieved functional coverage and the test description is
modified prior to simulation if the test description achieves no
incremental functional coverage. In one embodiment, generating the test
description comprises generating a test specification and providing the
test specification to a test generator suitable for generating the test
description. In one embodiment, the test description comprises a generic
test description and the generic test description is formatted according
to a project specification and simulation environment requirements. If the
coverage achieved by the test description satisfies the test
specification. In one embodiment, the functional coverage achieved by the
test description is displayed in a graphical format. The test description
is preferably added to a test database if the coverage achieved by the
test description satisfies the test specification. The attributes and
description of functional coverage achieved is added to the coverage
database. Determining the functional coverage achieved by a test
description may include estimating the coverage achieved based upon the
test description, the test specification, and functional coverage model.
Se divulgan un método y un sistema de la verificación del circuito integrado. El método incluye la generación de una descripción de la prueba que abarca un sistema de casos de la prueba. La cobertura funcional alcanzada por la descripción de la prueba entonces se determina. La cobertura funcional alcanzada entonces se compara contra cobertura funcional previamente alcanzada y la descripción de la prueba se modifica antes de la simulación si la descripción de la prueba no alcanza ninguna cobertura funcional incremental. En una encarnación, la generación de la descripción de la prueba abarca la generación de una especificación de prueba y el abastecimiento de la especificación de prueba a un generador de la prueba conveniente para generar la descripción de la prueba. En una encarnación, la descripción de la prueba abarca una descripción genérica de la prueba y la descripción genérica de la prueba se ajusta a formato según una especificación de proyecto y requisitos del ambiente de la simulación. Si la cobertura alcanzada por la descripción de la prueba satisface la especificación de prueba. En una encarnación, la cobertura funcional alcanzada por la descripción de la prueba se exhibe en un formato gráfico. La descripción de la prueba se agrega preferiblemente a una base de datos de la prueba si la cobertura alcanzada por la descripción de la prueba satisface la especificación de prueba. Las cualidades y la descripción de la cobertura funcional alcanzadas se agrega a la base de datos de la cobertura. La determinación de la cobertura funcional alcanzada por una descripción de la prueba puede incluir estimar la cobertura alcanzada basada sobre la descripción de la prueba, la especificación de prueba, y el modelo funcional de la cobertura.
