Modeling of systems and processes · 2019 · 45 citations · 0 references
EngineeringComputer EngineeringComputer ScienceFormal MethodsHardware Description LanguagesSystem-on-chip DesignAssertion-based VerificationDesign For TestabilityHardware Modeling For Digital SystemsHardware SpecificationIntegrated Circuit DesignVerificationVerification Of Integrated Circuits