IEEE Design & Test of Computers · 2001 · 16 citations · 0 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureFormal MethodsHardware Description LanguagesAssertion-based VerificationDigital Integrated Circuit DesignFunctional VerificationIntegrated Circuit DesignModel CheckingVerificationFormal Hardware VerificationFormal VerificationVerification Of Integrated Circuits