Index

A

Add (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) add_asrt() (pycaliper.synth.persynthesis.SynthesisTree method) add_child() (pycaliper.synth.persynthesis.SynthesisTree method) add_datatype() (pycaliper.frontend.pycast.ASTIdentifier method) add_dimension() (pycaliper.frontend.pycast.ASTType method) add_entries() (pycaliper.synth.synthprog.ZDDLUTSynthProgram method) add_level() (pycaliper.frontend.pycast.ASTIdentifier method) (pycaliper.per.per.Path method) add_level_index() (pycaliper.frontend.pycast.ASTIdentifier method) (pycaliper.per.per.Path method) add_secondary_assm() (pycaliper.synth.persynthesis.SynthesisTree method) add_values() (pycaliper.synth.synthprog.LUTSynthProgram method) AlignSynthesizer (class in pycaliper.synth.alignsynthesis) ArithmeticShiftLeft (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) ArithmeticShiftRight (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) asrts_1trace (pycaliper.svagen.SVAContext attribute) asrts_2trace (pycaliper.svagen.SVAContext attribute) asrts_bmc (pycaliper.svagen.SVAContext attribute) Assignment (class in pycaliper.vcdutils) assms_1trace (pycaliper.svagen.SVAContext attribute) assms_2trace (pycaliper.svagen.SVAContext attribute) assms_bmc (pycaliper.svagen.SVAContext attribute) ASTBlock (class in pycaliper.frontend.pycast) ASTCondEq (class in pycaliper.frontend.pycast) ASTDimension (class in pycaliper.frontend.pycast) ASTEq (class in pycaliper.frontend.pycast) ASTExpr (class in pycaliper.frontend.pycast)

ASTForLoop (class in pycaliper.frontend.pycast) ASTFunctionCall (class in pycaliper.frontend.pycast) ASTIdentifier (class in pycaliper.frontend.pycast) ASTInv (class in pycaliper.frontend.pycast) ASTModBlock (class in pycaliper.frontend.pycast) ASTModEq (class in pycaliper.frontend.pycast) ASTModIf (class in pycaliper.frontend.pycast) ASTModInput (class in pycaliper.frontend.pycast) ASTModInstance (class in pycaliper.frontend.pycast) ASTModInv (class in pycaliper.frontend.pycast) ASTModOutput (class in pycaliper.frontend.pycast) ASTModOutputState (class in pycaliper.frontend.pycast) ASTModState (class in pycaliper.frontend.pycast) ASTModStmt (class in pycaliper.frontend.pycast) ASTNumber (class in pycaliper.frontend.pycast) ASTOp (class in pycaliper.frontend.pycast) ASTOpApply (class in pycaliper.frontend.pycast) ASTRangeIndex (class in pycaliper.frontend.pycast) ASTStmt (class in pycaliper.frontend.pycast) ASTTopDecl (class in pycaliper.frontend.pycast) ASTTopDeclModule (class in pycaliper.frontend.pycast) ASTTopDeclParameter (class in pycaliper.frontend.pycast) ASTTopDeclSpec (class in pycaliper.frontend.pycast) ASTTopDeclStruct (class in pycaliper.frontend.pycast) ASTType (class in pycaliper.frontend.pycast) autodetect_clock() (in module pycaliper.vcdutils) autodetect_clockdelta() (in module pycaliper.vcdutils) AuxModule (class in pycaliper.per.per) AuxPort (class in pycaliper.per.per) AuxReg (class in pycaliper.per.per)

B

BinaryAnd (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) BinaryNor (class in pycaliper.per.expr) BinaryOr (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) BinaryXnor (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) BinaryXor (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute)

bmc (pycaliper.pycmanager.PYCArgs attribute), [1] BTORDesign (class in pycaliper.btorinterface.btordesign) BTORModelParser (class in pycaliper.btorinterface.vcdgenerator) BTORVerifier1Trace (class in pycaliper.verif.btorverifier) BTORVerifier2Trace (class in pycaliper.verif.btorverifier) BTORVerifier2TraceIncremental (class in pycaliper.synth.btorsynthesizer) BTORVerifResult (class in pycaliper.btorinterface.pycbtorinterface)

C

can_add() (pycaliper.synth.btorsynthesizer.BTORVerifier2TraceIncremental method) CaseEquality (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) CaseInequality (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) CEX (pycaliper.jginterface.jgoracle.ProofResult attribute) check_mm_refinement() (pycaliper.proofmanager.ProofManager method) (pycaliper.verif.refinementverifier.RefinementVerifier method) check_ss_refinement() (pycaliper.proofmanager.ProofManager method) (pycaliper.verif.refinementverifier.RefinementVerifier method) CHFORMAL (pycaliper.btorinterface.btordesign.ClkEdge attribute) ClientMode (class in pycaliper.jginterface.jasperclient) clk (pycaliper.pycconfig.DesignConfig attribute), [1] ClkEdge (class in pycaliper.btorinterface.btordesign) Clock (class in pycaliper.per.per) close() (pycaliper.pycmanager.PYCManager method) close_tcp() (in module pycaliper.jginterface.jasperclient) Concat (class in pycaliper.per.expr) CONCAT (pycaliper.per.expr.Op.Fixity attribute) CondEq (class in pycaliper.per.per) condeq_sva() (in module pycaliper.propns)

CondEqHole (class in pycaliper.per.per) condeqhole() (pycaliper.per.per.SpecModule method) connect_tcp() (in module pycaliper.jginterface.jasperclient) Const (class in pycaliper.per.expr) Context (class in pycaliper.per.per) context (pycaliper.pycconfig.JasperConfig attribute), [1] convert_expr_to_btor2() (pycaliper.btorinterface.pycbtorinterface.PYCBTORInterface method) (pycaliper.verif.refinementverifier.RefinementVerifier method) convert_to_vcd_from_btorfile() (in module pycaliper.btorinterface.vcdgenerator) convert_to_vcd_from_btorstr() (in module pycaliper.btorinterface.vcdgenerator) counter (pycaliper.synth.persynthesis.SynthesisTree attribute) counter_step() (pycaliper.svagen.SVAGen method) cpy1 (pycaliper.pycconfig.DesignConfig attribute), [1] cpy2 (pycaliper.pycconfig.DesignConfig attribute), [1] create_module() (in module pycaliper.pycmanager) create_pyc_specfile() (pycaliper.svagen.SVAGen method) create_pyc_variable() (in module pycaliper.frontend.pycgen) create_vcd_path() (pycaliper.pycmanager.PYCManager method) create_vcd_trace() (in module pycaliper.jginterface.jgoracle) CtrAlignHole (class in pycaliper.per.per) ctralignhole() (pycaliper.per.per.SpecModule method) CTRLSYNTH (pycaliper.pycmanager.PYCTask attribute)

D

dc (pycaliper.proofmanager.OneTraceIndPR attribute) (pycaliper.proofmanager.TwoTraceIndPR attribute) (pycaliper.pycconfig.PYConfig attribute), [1] dcpath (pycaliper.pycmanager.PYCArgs attribute), [1] deactivate() (pycaliper.per.per.Hole method) Design (class in pycaliper.pycconfig) design (pycaliper.proofmanager.OneTraceBndPR attribute) (pycaliper.proofmanager.OneTraceIndPR attribute) (pycaliper.proofmanager.TwoTraceIndPR attribute)

design_list (pycaliper.pycconfig.JasperConfig attribute), [1] DesignConfig (class in pycaliper.pycconfig) disable_all_bmc() (in module pycaliper.jginterface.jgoracle) disable_assm() (in module pycaliper.jginterface.jgoracle) disable_hole_assm() (pycaliper.synth.btorsynthesizer.BTORVerifier2TraceIncremental method) Div (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) dname (pycaliper.pycgui.GUIPacket attribute) dump_and_wait() (pycaliper.btorinterface.pycbtorinterface.PYCBTORInterface method) (pycaliper.verif.refinementverifier.RefinementVerifier method)

E

eand() (pycaliper.per.expr.Expr method) enable_assm() (in module pycaliper.jginterface.jgoracle) enable_hole_assm() (pycaliper.synth.btorsynthesizer.BTORVerifier2TraceIncremental method) eneg() (pycaliper.per.expr.Expr method) eor() (pycaliper.per.expr.Expr method) Eq (class in pycaliper.per.per) eq() (pycaliper.per.per.SpecModule method) (pycaliper.per.per.Struct method) eq_sva() (in module pycaliper.propns)

eqhole() (pycaliper.per.per.SpecModule method) Equality (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) eval() (in module pycaliper.jginterface.jasperclient) evaluate_index() (pycaliper.frontend.pycgen.PYCGenPass method) events_from_assignments() (in module pycaliper.btorinterface.vcdgenerator) Expr (class in pycaliper.per.expr) Extract (class in pycaliper.per.expr) EXTRACT (pycaliper.per.expr.Op.Fixity attribute) extract_markdown() (in module pycaliper.synth.iis_strategy)

F

file (pycaliper.pycgui.GUIPacket attribute) fixity (pycaliper.per.expr.Op attribute) flip (pycaliper.proofmanager.SSRefinementPR attribute) FSMHole (class in pycaliper.per.per)

fsmhole() (pycaliper.per.per.SpecModule method) fuelbudget (pycaliper.synth.persynthesis.HoudiniSynthesizerConfig attribute) full_repr() (pycaliper.per.per.SpecModule method) FULLSYNTH (pycaliper.pycmanager.PYCTask attribute) FunctionalRefinementMap (class in pycaliper.verif.refinementverifier)

G

gather_all_traces() (pycaliper.pycmanager.PYCManager method) generate_module_repr() (pycaliper.frontend.pycgen.PYCGenPass method) generate_struct_repr() (pycaliper.frontend.pycgen.PYCGenPass method) generic_visit() (pycaliper.frontend.genericpass.GenericPass method) GenericPass (class in pycaliper.frontend.genericpass) get_as_assm() (in module pycaliper.propns) get_as_prop() (in module pycaliper.propns) get_assm_constraints() (pycaliper.btorinterface.pycbtorinterface.PYCBTORInterface method) get_assrt_constraints() (pycaliper.btorinterface.pycbtorinterface.PYCBTORInterface method) get_candidate_order() (pycaliper.synth.iis_strategy.IISStrategy method) (pycaliper.synth.iis_strategy.LLMStrategy method) (pycaliper.synth.iis_strategy.RandomStrategy method) (pycaliper.synth.iis_strategy.SeqStrategy method) get_client() (in module pycaliper.synth.iis_strategy) get_clk() (pycaliper.per.per.SpecModule method) get_cons() (pycaliper.synth.synthprog.ZDDLUTSynthProgram method) get_hier_path() (pycaliper.per.per.Logic method) (pycaliper.per.per.LogicArray method) (pycaliper.per.per.Path method) (pycaliper.per.per.SpecModule method) get_hier_path_flatindex() (pycaliper.per.per.Logic method) (pycaliper.per.per.Path method) get_hier_path_nonindex() (pycaliper.per.per.Logic method) (pycaliper.per.per.Path method) get_instance_str() (pycaliper.per.per.AuxModule method) get_int_value() (pycaliper.frontend.pycast.ASTNumber method) get_inv() (pycaliper.synth.synthprog.LUTSynthProgram method) (pycaliper.synth.synthprog.ZDDLUTSynthProgram method) get_lid() (pycaliper.btorinterface.pycbtorinterface.PYCBTORInterface method) get_next_candidate() (pycaliper.synth.iis_strategy.IISStrategy method) (pycaliper.synth.iis_strategy.LLMStrategy method) (pycaliper.synth.iis_strategy.RandomStrategy method) (pycaliper.synth.iis_strategy.SeqStrategy method) get_path_from_hierarchical_str() (in module pycaliper.per.per) get_plain_identifier_name() (pycaliper.frontend.pycast.ASTExpr method) get_plain_numeric_literal() (pycaliper.frontend.pycast.ASTExpr method)

get_plain_width() (pycaliper.frontend.pycast.ASTDimension method) get_pyconfig() (in module pycaliper.pycmanager) get_repr() (pycaliper.per.per.Group method) (pycaliper.per.per.SpecModule method) (pycaliper.per.per.Struct method) get_specmodname() (in module pycaliper.pycmanager) get_stats() (pycaliper.synth.iis_strategy.IISStrategy method) (pycaliper.synth.iis_strategy.LLMStrategy method) (pycaliper.synth.iis_strategy.RandomStrategy method) (pycaliper.synth.iis_strategy.SeqStrategy method) get_subtrace() (in module pycaliper.vcdutils) get_subtrace_simple() (in module pycaliper.vcdutils) get_sva() (pycaliper.per.expr.Const method) (pycaliper.per.expr.Expr method) (pycaliper.per.expr.OpApply method) (pycaliper.per.per.CondEq method) (pycaliper.per.per.Eq method) (pycaliper.per.per.Inv method) (pycaliper.per.per.Logic method) (pycaliper.per.per.PER method) (pycaliper.per.per.Prop method) (pycaliper.per.per.Struct method) (pycaliper.per.per.SVFuncApply method) get_tt_assm_constraints() (pycaliper.btorinterface.pycbtorinterface.PYCBTORInterface method) get_tt_assrt_constraints() (pycaliper.btorinterface.pycbtorinterface.PYCBTORInterface method) get_unroll_kind_depths() (pycaliper.per.per.SpecModule method) get_vcd_path() (pycaliper.pycmanager.PYCManager method) get_vcd_path_random() (pycaliper.pycmanager.PYCManager method) get_wctx() (in module pycaliper.jginterface.jgoracle) GreaterThan (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) GreaterThanEqual (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) Group (class in pycaliper.per.per) GUIPacket (class in pycaliper.pycgui) GUIPacket.T (class in pycaliper.pycgui)

H

Hole (class in pycaliper.per.per) holes (pycaliper.svagen.SVAContext attribute) HoudiniSynthesizer (class in pycaliper.synth.persynthesis)

HoudiniSynthesizerBTOR (class in pycaliper.synth.persynthesis) HoudiniSynthesizerConfig (class in pycaliper.synth.persynthesis) HoudiniSynthesizerJG (class in pycaliper.synth.persynthesis) HoudiniSynthesizerStats (class in pycaliper.synth.persynthesis)

I

iden (pycaliper.pycgui.GUIPacket attribute) IISStrategy (class in pycaliper.synth.iis_strategy) incr() (pycaliper.per.per.SpecModule method) increment_loop_iterator() (pycaliper.frontend.pycgen.PYCGenPass method) Inequality (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) INFIX (pycaliper.per.expr.Op.Fixity attribute) INPUT (pycaliper.per.per.Context attribute) input() (pycaliper.per.per.SpecModule method) input_inv_spec_decl_comp (pycaliper.svagen.ModuleSpec attribute) input_inv_spec_decl_single (pycaliper.svagen.ModuleSpec attribute) input_spec_decl (pycaliper.svagen.ModuleSpec attribute) instantiate() (pycaliper.per.per.AuxModule method) (pycaliper.per.per.Group method) (pycaliper.per.per.Logic method) (pycaliper.per.per.LogicArray method) (pycaliper.per.per.SpecModule method) (pycaliper.per.per.Struct method) (pycaliper.per.per.TypedElem method)

Inv (class in pycaliper.per.per) inv() (pycaliper.per.per.SpecModule method) inv_sva() (in module pycaliper.svagen) is_arr_elem() (pycaliper.per.per.Logic method) is_dimensioned() (pycaliper.frontend.pycast.ASTType method) is_instantiated() (pycaliper.per.per.SpecModule method) is_leftcopy() (pycaliper.per.per.AuxModule method) is_logic() (pycaliper.frontend.pycast.ASTType method) is_online() (in module pycaliper.jginterface.jasperclient) is_pass() (in module pycaliper.jginterface.jgoracle) is_self_inductive() (pycaliper.synth.persynthesis.SynthesisTree method) is_this() (pycaliper.frontend.pycast.ASTIdentifier method) isx (pycaliper.vcdutils.StateValue attribute) ITE (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) (pycaliper.per.expr.Op.Fixity attribute)

J

JasperConfig (class in pycaliper.pycconfig) JasperError jdir (pycaliper.pycconfig.JasperConfig attribute), [1] jgc (pycaliper.pycconfig.PYConfig attribute), [1]

jgcpath (pycaliper.pycmanager.PYCArgs attribute), [1] JGDesign (class in pycaliper.jginterface.jgdesign) JGVerifier1Trace (class in pycaliper.verif.jgverifier) JGVerifier1TraceBMC (class in pycaliper.verif.jgverifier) JGVerifier2Trace (class in pycaliper.verif.jgverifier)

K

kinduct() (in module pycaliper.per.per)

L

lang (pycaliper.pycconfig.DesignConfig attribute), [1] LessThan (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) LessThanEqual (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) LLMStrategy (class in pycaliper.synth.iis_strategy) loadscript() (in module pycaliper.jginterface.jgoracle) Logic (class in pycaliper.per.per) LogicalAnd (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) LogicalEquivalence (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute)

LogicalImplication (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) LogicalOr (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) LogicalShiftLeft (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) LogicalShiftRight (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) LogicArray (class in pycaliper.per.per) LUTSynthProgram (class in pycaliper.synth.synthprog)

M

main() (in module pycaliper.jginterface.jasperclient) (in module pycaliper.pycmain) make_nested() (pycaliper.frontend.pycast.ASTStmt method) mappings (pycaliper.verif.refinementverifier.FunctionalRefinementMap attribute) (pycaliper.verif.refinementverifier.RefinementMap attribute) MAX_DEPTH (pycaliper.synth.synthprog.ZDDLUTSynthProgram attribute) MAX_TRACE_LENGTH (pycaliper.jginterface.jgoracle.ProofResult attribute) minfuel (pycaliper.synth.persynthesis.HoudiniSynthesizerStats attribute) mk_btor_design_from_file() (pycaliper.proofmanager.ProofManager method) mk_btor_proof_one_trace() (pycaliper.proofmanager.ProofManager method) mk_btordesign() (in module pycaliper.proofmanager) mk_jg_design_from_pyc() (pycaliper.proofmanager.ProofManager method) mk_jg_proof_bounded_spec() (pycaliper.proofmanager.ProofManager method) mk_spec() (pycaliper.proofmanager.ProofManager method) mk_window() (pycaliper.pycgui.RichGUI method) MMRefinementPR (class in pycaliper.proofmanager) mock (pycaliper.pycconfig.PYConfig attribute), [1] mock_or_connect() (in module pycaliper.pycmanager) Mod (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) model (pycaliper.btorinterface.pycbtorinterface.BTORVerifResult attribute), [1] model_computed_fields (pycaliper.pycconfig.DesignConfig attribute) (pycaliper.pycconfig.JasperConfig attribute) (pycaliper.pycconfig.PYConfig attribute) (pycaliper.pycmanager.PYCArgs attribute) (pycaliper.svagen.ModuleSpec attribute) (pycaliper.svagen.SVAContext attribute) model_config (pycaliper.pycconfig.DesignConfig attribute) (pycaliper.pycconfig.JasperConfig attribute) (pycaliper.pycconfig.PYConfig attribute) (pycaliper.pycmanager.PYCArgs attribute) (pycaliper.svagen.ModuleSpec attribute) (pycaliper.svagen.SVAContext attribute) model_fields (pycaliper.pycconfig.DesignConfig attribute) (pycaliper.pycconfig.JasperConfig attribute) (pycaliper.pycconfig.PYConfig attribute) (pycaliper.pycmanager.PYCArgs attribute) (pycaliper.svagen.ModuleSpec attribute) (pycaliper.svagen.SVAContext attribute) module pycaliper pycaliper.btorinterface pycaliper.btorinterface.btordesign pycaliper.btorinterface.pycbtorinterface pycaliper.btorinterface.vcdgenerator pycaliper.frontend pycaliper.frontend.genericpass pycaliper.frontend.parsetab pycaliper.frontend.pycast pycaliper.frontend.pycgen pycaliper.frontend.pyclex pycaliper.frontend.pycparse pycaliper.jginterface pycaliper.jginterface.jasperclient pycaliper.jginterface.jgdesign pycaliper.jginterface.jgoracle pycaliper.jginterface.jgsetup pycaliper.per pycaliper.per.expr pycaliper.per.per pycaliper.proofmanager pycaliper.propns pycaliper.pycconfig pycaliper.pycgui pycaliper.pycmain pycaliper.pycmanager pycaliper.svagen pycaliper.synth pycaliper.synth.alignsynthesis pycaliper.synth.btorsynthesizer pycaliper.synth.iis_strategy pycaliper.synth.persynthesis pycaliper.synth.synthprog pycaliper.vcdutils pycaliper.verif pycaliper.verif.btorverifier pycaliper.verif.jgverifier pycaliper.verif.refinementverifier

ModuleSpec (class in pycaliper.svagen) Mul (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute)

N

name (pycaliper.pycconfig.Design attribute) NEGEDGE (pycaliper.btorinterface.btordesign.ClkEdge attribute) NEW_DESIGN (pycaliper.pycgui.GUIPacket.T attribute) NEW_PROOF (pycaliper.pycgui.GUIPacket.T attribute)

NEW_SPEC (pycaliper.pycgui.GUIPacket.T attribute) NONE (pycaliper.jginterface.jgoracle.ProofResult attribute) nonreserved_or_fresh() (in module pycaliper.per.per) num_spec_files (pycaliper.pycmanager.PYCManager attribute) num_vcd_files (pycaliper.pycmanager.PYCManager attribute)

O

onetrace (pycaliper.pycconfig.PYConfig attribute), [1] (pycaliper.pycmanager.PYCArgs attribute), [1] OneTraceBndPR (class in pycaliper.proofmanager) OneTraceIndPR (class in pycaliper.proofmanager) ONLINE (pycaliper.jginterface.jasperclient.ClientMode attribute) Op (class in pycaliper.per.expr) Op.Fixity (class in pycaliper.per.expr)

OpApply (class in pycaliper.per.expr) opstring (pycaliper.per.expr.Op attribute) OUTPUT (pycaliper.per.per.Context attribute) output() (pycaliper.per.per.SpecModule method) output_inv_spec_decl_comp (pycaliper.svagen.ModuleSpec attribute) output_inv_spec_decl_single (pycaliper.svagen.ModuleSpec attribute) output_spec_decl (pycaliper.svagen.ModuleSpec attribute)

P

p_ArithmeticShiftLeft() (in module pycaliper.frontend.pycparse) p_ArithmeticShiftRight() (in module pycaliper.frontend.pycparse) p_basetype_1() (in module pycaliper.frontend.pycparse) p_basetype_2() (in module pycaliper.frontend.pycparse) p_basetype_3() (in module pycaliper.frontend.pycparse) p_BinaryNand() (in module pycaliper.frontend.pycparse) p_BinaryNor() (in module pycaliper.frontend.pycparse) p_BinaryXnor() (in module pycaliper.frontend.pycparse) p_caliper_declaration_1() (in module pycaliper.frontend.pycparse) p_caliper_declaration_2() (in module pycaliper.frontend.pycparse) p_caliper_declaration_3() (in module pycaliper.frontend.pycparse) p_caliper_declaration_4() (in module pycaliper.frontend.pycparse) p_caliper_declarations_1() (in module pycaliper.frontend.pycparse) p_caliper_declarations_2() (in module pycaliper.frontend.pycparse) p_caliper_loop_1() (in module pycaliper.frontend.pycparse) p_caliper_loop_list_p_1() (in module pycaliper.frontend.pycparse) p_caliper_loop_list_p_2() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_1() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_10() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_2() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_3() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_4() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_5() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_6() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_7() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_8() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_9() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_list_1() (in module pycaliper.frontend.pycparse) p_caliper_mod_stmt_list_2() (in module pycaliper.frontend.pycparse) p_caliper_statement_1() (in module pycaliper.frontend.pycparse) p_caliper_statement_2() (in module pycaliper.frontend.pycparse) p_caliper_statement_3() (in module pycaliper.frontend.pycparse) p_caliper_statement_4() (in module pycaliper.frontend.pycparse) p_caliper_statement_5() (in module pycaliper.frontend.pycparse) p_caliper_statement_6() (in module pycaliper.frontend.pycparse) p_caliper_statement_list_1() (in module pycaliper.frontend.pycparse) p_caliper_statement_list_2() (in module pycaliper.frontend.pycparse) p_caliper_statement_list_p_1() (in module pycaliper.frontend.pycparse) p_caliper_statement_list_p_2() (in module pycaliper.frontend.pycparse) p_CaseEquality() (in module pycaliper.frontend.pycparse) p_CaseInequality() (in module pycaliper.frontend.pycparse) p_constant_range() (in module pycaliper.frontend.pycparse) p_datatype_1() (in module pycaliper.frontend.pycparse) p_datatype_2() (in module pycaliper.frontend.pycparse) p_dimension_1() (in module pycaliper.frontend.pycparse) p_dimension_2() (in module pycaliper.frontend.pycparse) p_empty() (in module pycaliper.frontend.pycparse) p_Equality() (in module pycaliper.frontend.pycparse) p_error() (in module pycaliper.frontend.pycparse) p_expr_list_1() (in module pycaliper.frontend.pycparse) p_expr_list_2() (in module pycaliper.frontend.pycparse) p_expr_list_p_1() (in module pycaliper.frontend.pycparse) p_expr_list_p_2() (in module pycaliper.frontend.pycparse) p_expression() (in module pycaliper.frontend.pycparse) p_expression1_1() (in module pycaliper.frontend.pycparse) p_expression1_2() (in module pycaliper.frontend.pycparse) p_expression2_1() (in module pycaliper.frontend.pycparse) p_expression2_2() (in module pycaliper.frontend.pycparse) p_expression3_1() (in module pycaliper.frontend.pycparse) p_expression3_2() (in module pycaliper.frontend.pycparse) p_expression4_1() (in module pycaliper.frontend.pycparse) p_expression4_2() (in module pycaliper.frontend.pycparse) p_expression5_1() (in module pycaliper.frontend.pycparse) p_expression5_2() (in module pycaliper.frontend.pycparse) p_expression6_1() (in module pycaliper.frontend.pycparse) p_expression6_2() (in module pycaliper.frontend.pycparse) p_expression7_1() (in module pycaliper.frontend.pycparse) p_expression7_2() (in module pycaliper.frontend.pycparse) p_expression8_1() (in module pycaliper.frontend.pycparse) p_expression8_2() (in module pycaliper.frontend.pycparse) p_function_call() (in module pycaliper.frontend.pycparse) p_GreaterThanEqual() (in module pycaliper.frontend.pycparse) p_identifier() (in module pycaliper.frontend.pycparse) p_Inequality() (in module pycaliper.frontend.pycparse) p_LessThanEqual() (in module pycaliper.frontend.pycparse) p_LogicalAnd() (in module pycaliper.frontend.pycparse) p_LogicalEquivalence() (in module pycaliper.frontend.pycparse) p_LogicalImplication() (in module pycaliper.frontend.pycparse) p_LogicalOr() (in module pycaliper.frontend.pycparse) p_LogicalShiftLeft() (in module pycaliper.frontend.pycparse) p_LogicalShiftRight() (in module pycaliper.frontend.pycparse) p_MinusColon() (in module pycaliper.frontend.pycparse) p_number() (in module pycaliper.frontend.pycparse) p_PlusColon() (in module pycaliper.frontend.pycparse) p_Power() (in module pycaliper.frontend.pycparse) p_primary() (in module pycaliper.frontend.pycparse) p_primary1_1() (in module pycaliper.frontend.pycparse) p_primary1_2() (in module pycaliper.frontend.pycparse) p_primary1_3() (in module pycaliper.frontend.pycparse) p_primary1_4() (in module pycaliper.frontend.pycparse) p_primary1_5() (in module pycaliper.frontend.pycparse) p_primary1_list_p_1() (in module pycaliper.frontend.pycparse) p_primary1_list_p_2() (in module pycaliper.frontend.pycparse) p_WildcardEquality() (in module pycaliper.frontend.pycparse) p_WildcardInequality() (in module pycaliper.frontend.pycparse) params (pycaliper.pycgui.GUIPacket attribute) (pycaliper.pycmanager.PYCArgs attribute), [1] parse() (pycaliper.btorinterface.vcdgenerator.BTORModelParser method) parse_dump_file() (in module pycaliper.btorinterface.vcdgenerator) parse_dump_string() (in module pycaliper.btorinterface.vcdgenerator) parse_lines() (in module pycaliper.btorinterface.vcdgenerator) PAST (class in pycaliper.frontend.pycast) Path (class in pycaliper.per.per) path (pycaliper.per.per.Path attribute), [1] (pycaliper.svagen.ModuleSpec attribute) PER (class in pycaliper.per.per) per_sva() (in module pycaliper.svagen) PERHole (class in pycaliper.per.per) PERSYNTH (pycaliper.pycmanager.PYCTask attribute) persynth_main() (in module pycaliper.pycmain) PERSynthesizer (class in pycaliper.synth.persynthesis) pop_loop_scope() (pycaliper.frontend.pycgen.PYCGenPass method)

port (pycaliper.pycconfig.JasperConfig attribute), [1] POSEDGE (pycaliper.btorinterface.btordesign.ClkEdge attribute) Power (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) pprint() (pycaliper.per.per.SpecModule method) (pycaliper.per.per.Struct method) PREFIX (pycaliper.per.expr.Op.Fixity attribute) prev() (pycaliper.per.per.SpecModule method) process_signal_and_time() (in module pycaliper.btorinterface.vcdgenerator) ProofManager (class in pycaliper.proofmanager) ProofResult (class in pycaliper.jginterface.jgoracle) (class in pycaliper.proofmanager) proofterm (pycaliper.pycgui.GUIPacket attribute) Prop (class in pycaliper.per.per) prove() (in module pycaliper.jginterface.jgoracle) prove_out_bmc() (in module pycaliper.jginterface.jgoracle) prove_out_induction_1t() (in module pycaliper.jginterface.jgoracle) prove_out_induction_2t() (in module pycaliper.jginterface.jgoracle) PROVEN (pycaliper.jginterface.jgoracle.ProofResult attribute) push_loop_scope() (pycaliper.frontend.pycgen.PYCGenPass method) push_update() (pycaliper.pycgui.PYCGUI method) (pycaliper.pycgui.RichGUI method) (pycaliper.pycgui.WebGUI method) pycaliper module pycaliper.btorinterface module pycaliper.btorinterface.btordesign module pycaliper.btorinterface.pycbtorinterface module pycaliper.btorinterface.vcdgenerator module pycaliper.frontend module pycaliper.frontend.genericpass module pycaliper.frontend.parsetab module pycaliper.frontend.pycast module pycaliper.frontend.pycgen module pycaliper.frontend.pyclex module pycaliper.frontend.pycparse module pycaliper.jginterface module pycaliper.jginterface.jasperclient module pycaliper.jginterface.jgdesign module pycaliper.jginterface.jgoracle module pycaliper.jginterface.jgsetup module pycaliper.per module pycaliper.per.expr module pycaliper.per.per module pycaliper.proofmanager module pycaliper.propns module pycaliper.pycconfig module pycaliper.pycgui module pycaliper.pycmain module pycaliper.pycmanager module pycaliper.svagen module pycaliper.synth module pycaliper.synth.alignsynthesis module pycaliper.synth.btorsynthesizer module pycaliper.synth.iis_strategy module pycaliper.synth.persynthesis module pycaliper.synth.synthprog module pycaliper.vcdutils module pycaliper.verif module pycaliper.verif.btorverifier module pycaliper.verif.jgverifier module pycaliper.verif.refinementverifier module PYCArgs (class in pycaliper.pycmanager) pycassert() (pycaliper.per.per.SpecModule method) pycassume() (pycaliper.per.per.SpecModule method) PYCBTORInterface (class in pycaliper.btorinterface.pycbtorinterface) pycfile (pycaliper.pycconfig.JasperConfig attribute), [1] pycfile_abspath() (pycaliper.pycconfig.JasperConfig method) PYCGenPass (class in pycaliper.frontend.pycgen) PYCGUI (class in pycaliper.pycgui) PYCManager (class in pycaliper.pycmanager) PYConfig (class in pycaliper.pycconfig) pyconfig (pycaliper.pycmanager.PYCManager attribute) pycspec (pycaliper.pycconfig.PYConfig attribute), [1] (pycaliper.pycmanager.PYCManager attribute) PYCTask (class in pycaliper.pycmanager)

R

RandomStrategy (class in pycaliper.synth.iis_strategy) RefinementMap (class in pycaliper.verif.refinementverifier) RefinementVerifier (class in pycaliper.verif.refinementverifier) reprstring (pycaliper.per.expr.Op attribute) reset() (pycaliper.frontend.pycgen.PYCGenPass method) (pycaliper.verif.refinementverifier.RefinementVerifier method) reset_progress() (pycaliper.pycgui.PYCGUI method) (pycaliper.pycgui.RichGUI method) (pycaliper.pycgui.WebGUI method) reset_state() (pycaliper.synth.persynthesis.PERSynthesizer method)

result (pycaliper.proofmanager.ProofResult attribute) (pycaliper.pycgui.GUIPacket attribute) retries (pycaliper.synth.persynthesis.HoudiniSynthesizerConfig attribute) RichGUI (class in pycaliper.pycgui) rmap (pycaliper.proofmanager.MMRefinementPR attribute) run() (pycaliper.frontend.pycgen.PYCGenPass method) (pycaliper.frontend.pycgen.TopDeclPass method) (pycaliper.pycgui.PYCGUI method) (pycaliper.pycgui.RichGUI method) (pycaliper.pycgui.WebGUI method)

S

SAFE (pycaliper.jginterface.jgoracle.ProofResult attribute) safe() (pycaliper.synth.persynthesis.PERSynthesizer method) save() (pycaliper.pycmanager.PYCManager method) save_spec() (pycaliper.pycmanager.PYCManager method) sched (pycaliper.proofmanager.OneTraceBndPR attribute) sched1 (pycaliper.proofmanager.SSRefinementPR attribute) sched2 (pycaliper.proofmanager.SSRefinementPR attribute) script (pycaliper.pycconfig.JasperConfig attribute), [1] sdir (pycaliper.pycconfig.PYConfig attribute), [1] (pycaliper.pycmanager.PYCArgs attribute), [1] (pycaliper.pycmanager.PYCManager attribute) select_range() (pycaliper.frontend.pycast.ASTIdentifier method) SeqStrategy (class in pycaliper.synth.iis_strategy) set_assm_bmc() (in module pycaliper.jginterface.jgoracle) set_assm_induction_1t() (in module pycaliper.jginterface.jgoracle) set_assm_induction_2t() (in module pycaliper.jginterface.jgoracle) setjwd() (in module pycaliper.jginterface.jgoracle) setup_all() (in module pycaliper.pycmanager) setup_jasper() (in module pycaliper.jginterface.jgsetup) shutdown_tcp() (in module pycaliper.jginterface.jasperclient) signalstr_to_vcdid() (in module pycaliper.vcdutils) SIM (pycaliper.jginterface.jasperclient.ClientMode attribute) (pycaliper.jginterface.jgoracle.ProofResult attribute) SimulationSchedule (class in pycaliper.per.per) SimulationStep (class in pycaliper.per.per) slicehigh (pycaliper.per.per.Path attribute), [1] slicelow (pycaliper.per.per.Path attribute), [1] sname (pycaliper.pycgui.GUIPacket attribute) SocketError solve() (pycaliper.synth.synthprog.LUTSynthProgram method) (pycaliper.synth.synthprog.ZDDLUTSynthProgram method) solvecalls (pycaliper.synth.persynthesis.HoudiniSynthesizerStats attribute) spec (pycaliper.proofmanager.OneTraceBndPR attribute) (pycaliper.proofmanager.OneTraceIndPR attribute) (pycaliper.proofmanager.SSRefinementPR attribute) (pycaliper.proofmanager.TwoTraceIndPR attribute)

spec1 (pycaliper.proofmanager.MMRefinementPR attribute) spec2 (pycaliper.proofmanager.MMRefinementPR attribute) specdir (pycaliper.pycmanager.PYCManager attribute) SpecModule (class in pycaliper.per.per) specpath (pycaliper.pycmanager.PYCArgs attribute), [1] specs (pycaliper.pycmanager.PYCManager attribute) sprint() (pycaliper.per.per.SpecModule method) (pycaliper.per.per.Struct method) SSRefinementPR (class in pycaliper.proofmanager) stable() (pycaliper.per.per.SpecModule method) start() (in module pycaliper.pycmanager) STATE (pycaliper.per.per.Context attribute) state() (pycaliper.per.per.SpecModule method) (pycaliper.per.per.Struct method) state_inv_spec_decl_comp (pycaliper.svagen.ModuleSpec attribute) state_inv_spec_decl_single (pycaliper.svagen.ModuleSpec attribute) state_spec_decl (pycaliper.svagen.ModuleSpec attribute) StateValue (class in pycaliper.vcdutils) step() (pycaliper.per.per.SimulationSchedule method) step_signal() (in module pycaliper.svagen) stepbudget (pycaliper.synth.persynthesis.HoudiniSynthesizerConfig attribute) steps (pycaliper.per.per.SimulationSchedule property) (pycaliper.synth.persynthesis.HoudiniSynthesizerStats attribute) Struct (class in pycaliper.per.per) Sub (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) success (pycaliper.synth.persynthesis.HoudiniSynthesizerStats attribute) SVAContext (class in pycaliper.svagen) SVAGen (class in pycaliper.svagen) SVAGEN (pycaliper.pycmanager.PYCTask attribute) svagen_main() (in module pycaliper.pycmain) SVFunc (class in pycaliper.per.per) SVFuncApply (class in pycaliper.per.per) SynthesisTree (class in pycaliper.synth.persynthesis) synthesize() (pycaliper.synth.alignsynthesis.AlignSynthesizer method) (pycaliper.synth.persynthesis.HoudiniSynthesizer method) (pycaliper.synth.persynthesis.PERSynthesizer method)

T

t (pycaliper.pycgui.GUIPacket attribute) t_error() (in module pycaliper.frontend.pyclex) t_Ident() (in module pycaliper.frontend.pyclex) t_LineComment() (in module pycaliper.frontend.pyclex) t_newline() (in module pycaliper.frontend.pyclex) t_Num() (in module pycaliper.frontend.pyclex) tdir (pycaliper.pycconfig.PYConfig attribute), [1] (pycaliper.pycmanager.PYCArgs attribute), [1]

TOP_STEP_PROP() (in module pycaliper.propns) TopDeclPass (class in pycaliper.frontend.pycgen) topmod (pycaliper.pycconfig.DesignConfig attribute), [1] tracedir (pycaliper.pycmanager.PYCManager attribute) traces (pycaliper.pycmanager.PYCManager attribute) TwoTraceIndPR (class in pycaliper.proofmanager) type_to_pyc_repr() (pycaliper.frontend.pycgen.PYCGenPass method) TypedElem (class in pycaliper.per.per)

U

UnaryBitwiseAnd (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) UnaryBitwiseNand (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) UnaryBitwiseNor (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) UnaryBitwiseNot (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) UnaryBitwiseOr (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) UnaryBitwiseXnor (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) UnaryBitwiseXor (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute)

UnaryLogicalNot (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) UnaryMinus (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) UnaryPlus (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) unique_id_generator() (in module pycaliper.btorinterface.vcdgenerator) UNKNOWN (pycaliper.jginterface.jgoracle.ProofResult attribute) UNROLL (pycaliper.per.per.Context attribute) unroll() (in module pycaliper.per.per) (pycaliper.synth.btorsynthesizer.BTORVerifier2TraceIncremental method) update_progress() (pycaliper.pycgui.PYCGUI method) (pycaliper.pycgui.RichGUI method) (pycaliper.pycgui.WebGUI method)

V

val (pycaliper.vcdutils.StateValue attribute) VERIF1T (pycaliper.pycmanager.PYCTask attribute) VERIF2T (pycaliper.pycmanager.PYCTask attribute) verif_main() (in module pycaliper.pycmain) VERIFBMC (pycaliper.pycmanager.PYCTask attribute) verified (pycaliper.btorinterface.pycbtorinterface.BTORVerifResult attribute), [1] verify() (pycaliper.synth.btorsynthesizer.BTORVerifier2TraceIncremental method) (pycaliper.verif.btorverifier.BTORVerifier1Trace method) (pycaliper.verif.btorverifier.BTORVerifier2Trace method) (pycaliper.verif.jgverifier.JGVerifier1Trace method) (pycaliper.verif.jgverifier.JGVerifier1TraceBMC method) (pycaliper.verif.jgverifier.JGVerifier2Trace method) visit() (pycaliper.frontend.genericpass.GenericPass method) visit_ASTBlock() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTCondEq() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTEq() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTForLoop() (pycaliper.frontend.pycgen.PYCGenPass method)

visit_ASTFunctionCall() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTIdentifier() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTInv() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTModBlock() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTModEq() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTModIf() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTModInput() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTModInstance() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTModInv() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTModOutput() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTModOutputState() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTModState() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTNumber() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTOpApply() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTRangeIndex() (pycaliper.frontend.pycgen.PYCGenPass method) visit_ASTTopDeclModule() (pycaliper.frontend.pycgen.TopDeclPass method) visit_ASTTopDeclStruct() (pycaliper.frontend.pycgen.TopDeclPass method)

W

wdir (pycaliper.pycmanager.PYCManager attribute) WebGUI (class in pycaliper.pycgui) when() (in module pycaliper.per.per) (pycaliper.per.per.SpecModule method) (pycaliper.per.per.Struct method)

WildcardEquality (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) WildcardInequality (class in pycaliper.per.expr) (pycaliper.frontend.pycast.ASTOp attribute) write_vcd() (in module pycaliper.btorinterface.vcdgenerator)

Z

ZDDLUTSynthProgram (class in pycaliper.synth.synthprog)