Journal of Hardware and Systems Security · 2020 · 49 citations · 6 references
EngineeringComputer EngineeringElectrical EngineeringHardware Description LanguagesMicroelectronicsSystem-on-chip DesignAssertion-based VerificationDesign For TestabilityDigital Integrated Circuit DesignFunctional VerificationIntegrated Circuit DesignVerificationComputer-aided Design For Integrated CircuitsDecomposition For VerificationHardware Model CheckingValidation Of Integrated CircuitsVerification Of Integrated Circuits
6