A method for verifying a digital circuit design in a hardware description language, using a verification structure and a verification engine, is disclosed. The verification structure is constructed by including the design under test and additional statements in the hardware description language so that the functional verification problem becomes whether the verification structure is equivalent to a predetermined constant. These additional statements are provided to describe input constraints and behavioral expectations, and they effectively describe a test bench with a group of test cases. The verification engine automatically gives a conclusion after analyzing the verification structure as a digital circuit design. The functional correctness of the design can be completely verified using a number of verification structures.

Um método para verificar um projeto de circuito digital em uma língua de descrição da ferragem, usando uma estrutura da verificação e um motor da verificação, é divulgado. A estrutura da verificação é construída incluindo o projeto sob o teste e indicações adicionais na língua de descrição da ferragem de modo que o problema funcional da verificação se transforme se a estrutura da verificação é equivalente a uma constante predeterminada. Estas indicações adicionais são fornecidas para descrever confinamentes da entrada e expectativas behavioral, e descrevem eficazmente um banco do teste com um grupo de casos do teste. O motor da verificação dá automaticamente uma conclusão após ter analisado a estrutura da verificação como um projeto de circuito digital. A exatidão funcional do projeto pode completamente ser verificada usando um número de estruturas da verificação.