Publication | Closed Access

New algorithms for increased efficiency in hierarchical design rule checking

Logic SynthesisEngineeringAutomated ReasoningProgram AnalysisVerificationDesignFormal MethodsSoftware AnalysisHierarchical Design RuleRule-based SystemComputer-aided VerificationComputer ScienceModel CheckingFormal VerificationFunctional Verification