Publication | Closed Access

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Logic SynthesisEngineeringCircuit DesignProgram AnalysisAutomated ReasoningComputer-aided Circuit AnalysisVerificationFormal MethodsComputer EngineeringSoftware AnalysisComputer-aided VerificationComputer ScienceFormal VerificationComputer-assisted ReasoningForward ReasoningCircuit AnalysisDependency-directed Backtracking