LICENSE
README.md
api_server.py
async_reset_check.py
batch_runner.py
checker.py
cli.py
clock_relations.py
constraint_diff.py
constraint_interactions.py
constraint_readiness.py
converter.py
corner_manager.py
coverage.py
custom_rules.py
derate_methodology.py
design_context.py
design_coverage.py
dft_scan_check.py
evidence.py
finding_identity.py
generator.py
linter.py
mmc.py
policy_engine.py
pyproject.toml
rationale_lint.py
readiness_diff.py
reporter.py
rules_registry.py
sdc_preprocess.py
support_boundary.py
tcl_resolver.py
wildcard_analyzer.py
.pre-commit-hooks/sdc-check.sh
legacy/__init__.py
legacy/streamlit/__init__.py
legacy/streamlit/app.py
legacy/streamlit/ui/__init__.py
legacy/streamlit/ui/components.py
legacy/streamlit/ui/feedback.py
legacy/streamlit/ui/tab_converter.py
legacy/streamlit/ui/tab_linter.py
legacy/streamlit/ui/tab_rules.py
legacy/streamlit/ui/tab_test_drive.py
legacy/streamlit/ui/view_home.py
rta/__init__.py
rta/api/__init__.py
rta/api/api_server.py
rta/api/mcp_server.py
rta/branding/__init__.py
rta/branding/tokens/__init__.py
rta/branding/tokens/theme.py
rta/cli/__init__.py
rta/cli/cli.py
rta/engine/__init__.py
rta/engine/analysis/__init__.py
rta/engine/analysis/async_reset_check.py
rta/engine/analysis/clock_relations.py
rta/engine/analysis/constraint_interactions.py
rta/engine/analysis/constraint_readiness.py
rta/engine/analysis/coverage.py
rta/engine/analysis/derate_methodology.py
rta/engine/analysis/design_coverage.py
rta/engine/analysis/dft_scan_check.py
rta/engine/analysis/rationale_lint.py
rta/engine/analysis/wildcard_analyzer.py
rta/engine/context/__init__.py
rta/engine/context/design_context.py
rta/engine/diff/__init__.py
rta/engine/diff/constraint_diff.py
rta/engine/diff/finding_identity.py
rta/engine/diff/readiness_diff.py
rta/engine/meta/release_notes.py
rta/engine/policy/__init__.py
rta/engine/policy/custom_rules.py
rta/engine/policy/policy_engine.py
rta/engine/preprocess/__init__.py
rta/engine/preprocess/sdc_preprocess.py
rta/engine/preprocess/tcl_resolver.py
rta/engine/rules/__init__.py
rta/engine/rules/checker.py
rta/engine/rules/rules_registry.py
rta/engine/trust/__init__.py
rta/engine/trust/support_boundary.py
rta/evidence/__init__.py
rta/evidence/_p17_browser_check.py
rta/evidence/_p17_exc_probe.py
rta/evidence/build_evidence.py
rta/evidence/generate_support_matrix.py
rta/evidence/reference_coverage_matrix.py
rta/evidence/release_cleanroom.py
rta/evidence/release_cli_audit.py
rta/evidence/release_packaging_probe.py
rta/evidence/run_benchmark.py
rta/evidence/run_constraint_interactions.py
rta/evidence/run_design_coverage.py
rta/evidence/run_golden.py
rta/evidence/run_golden_semantic.py
rta/evidence/run_netlist_aware.py
rta/evidence/run_production_hardening.py
rta/evidence/run_readiness.py
rta/evidence/run_readiness_diff.py
rta/evidence/run_reference_designs.py
rta/evidence/test_coverage_adversarial.py
rta/evidence/test_coverage_metamorphic.py
rta/evidence/test_coverage_perf.py
rta/evidence/test_interactions_adversarial.py
rta/evidence/test_interactions_metamorphic.py
rta/evidence/test_interactions_perf.py
rta/evidence/test_interactions_realistic.py
rta/evidence/test_motion.py
rta/evidence/test_netlist_adversarial.py
rta/evidence/test_netlist_metamorphic.py
rta/evidence/test_netlist_perf.py
rta/evidence/test_netlist_security.py
rta/evidence/test_no_false_confidence.py
rta/evidence/test_performance.py
rta/evidence/test_ph13_adversarial.py
rta/evidence/test_ph13_ci_workflow.py
rta/evidence/test_ph13_perf.py
rta/evidence/test_ph13_security.py
rta/evidence/test_preprocess_stress.py
rta/evidence/test_readiness_adversarial.py
rta/evidence/test_readiness_ci_gate.py
rta/evidence/test_readiness_confidence.py
rta/evidence/test_readiness_diff_adversarial.py
rta/evidence/test_readiness_diff_confidence.py
rta/evidence/test_readiness_diff_metamorphic.py
rta/evidence/test_readiness_diff_perf.py
rta/evidence/test_readiness_metamorphic.py
rta/evidence/test_readiness_perf.py
rta/evidence/test_realistic_corpus.py
rta/evidence/test_reference_cross_module.py
rta/evidence/test_reference_metamorphic.py
rta/evidence/test_reference_mutation.py
rta/evidence/test_reference_perf.py
rta/evidence/test_reference_ui.py
rta/evidence/test_release_smoke.py
rta/evidence/test_security.py
rta/evidence/test_semantic_adversarial.py
rta/evidence/test_semantic_perf.py
rta/evidence/test_trust_transparency.py
rta/evidence/test_ui_app.py
rta/evidence/test_ui_state_isolation.py
rta/evidence/test_workspace_ux.py
rta/evidence/verify_findings.py
rta/evidence/clock_relations/async_groups_correct.sdc
rta/evidence/clock_relations/async_vs_physical_wrong.sdc
rta/evidence/clock_relations/duplicate_clocks_same_port.sdc
rta/evidence/clock_relations/generated_clock_chain.sdc
rta/evidence/clock_relations/generated_clock_pin_source.sdc
rta/evidence/clock_relations/same_port_two_clocks.sdc
rta/evidence/clock_relations/three_clocks_mixed.sdc
rta/evidence/clock_relations/two_async_no_groups.sdc
rta/evidence/constraint_interactions/CI01_exact_duplicate.sdc
rta/evidence/constraint_interactions/CI02_legal_min_max.sdc
rta/evidence/constraint_interactions/CI03_legal_rise_fall.sdc
rta/evidence/constraint_interactions/CI04_add_delay.sdc
rta/evidence/constraint_interactions/CI05_repeated_output_delay.sdc
rta/evidence/constraint_interactions/CI06_duplicate_clock.sdc
rta/evidence/constraint_interactions/CI07_conflicting_clock.sdc
rta/evidence/constraint_interactions/CI08_duplicate_uncertainty.sdc
rta/evidence/constraint_interactions/CI09_setup_hold_uncertainty.sdc
rta/evidence/constraint_interactions/CI10_duplicate_case_analysis.sdc
rta/evidence/constraint_interactions/CI11_contradictory_case_analysis.sdc
rta/evidence/constraint_interactions/CI12_duplicate_false_path.sdc
rta/evidence/constraint_interactions/CI13_fp_vs_mcp.sdc
rta/evidence/constraint_interactions/CI14_setup_hold_mcp.sdc
rta/evidence/constraint_interactions/CI15_repeated_mcp.sdc
rta/evidence/constraint_interactions/CI16_max_min_conflict.sdc
rta/evidence/constraint_interactions/CI17_clock_group_redundancy.sdc
rta/evidence/constraint_interactions/CI18_variable_duplicate.sdc
rta/evidence/constraint_interactions/CI19_scientific_duplicate.sdc
rta/evidence/constraint_interactions/CI20_realistic_mixed.sdc
rta/evidence/design_coverage/DC01_fully_constrained.sdc
rta/evidence/design_coverage/DC02_missing_input_delay.sdc
rta/evidence/design_coverage/DC03_missing_output_delay.sdc
rta/evidence/design_coverage/DC04_clock_reset_exclusions.sdc
rta/evidence/design_coverage/DC05_full_bus_coverage.sdc
rta/evidence/design_coverage/DC06_partial_bus_coverage.sdc
rta/evidence/design_coverage/DC07_virtual_clock_io.sdc
rta/evidence/design_coverage/DC08_generated_clock.sdc
rta/evidence/design_coverage/DC09_valid_timing_exceptions.sdc
rta/evidence/design_coverage/DC10_empty_exception_endpoint.sdc
rta/evidence/design_coverage/DC11_multi_clock_interface.sdc
rta/evidence/design_coverage/DC12_intentionally_mixed.sdc
rta/evidence/edge_cases/boundary_values.sdc
rta/evidence/edge_cases/comment_mentions_commands.sdc
rta/evidence/edge_cases/crlf_endings.sdc
rta/evidence/edge_cases/empty.sdc
rta/evidence/edge_cases/extreme_values.sdc
rta/evidence/edge_cases/inline_comments.sdc
rta/evidence/edge_cases/multiline_continuation_content.sdc
rta/evidence/edge_cases/multiline_tcl.sdc
rta/evidence/edge_cases/only_comments.sdc
rta/evidence/edge_cases/scientific_notation.sdc
rta/evidence/edge_cases/tcl_variables.sdc
rta/evidence/edge_cases/unicode_bom.sdc
rta/evidence/edge_cases/unsupported_commands.sdc
rta/evidence/edge_cases/uppercase_commands.sdc
rta/evidence/edge_cases/wildcard_collections.sdc
rta/evidence/golden/01_comments/c01_comment_full_line.sdc
rta/evidence/golden/01_comments/c02_comment_inline.sdc
rta/evidence/golden/02_multiline/c03_multiline_clock.sdc
rta/evidence/golden/02_multiline/c04_multiline_delay.sdc
rta/evidence/golden/03_numeric_formats/c05_int_float.sdc
rta/evidence/golden/03_numeric_formats/c06_sci_notation.sdc
rta/evidence/golden/03_numeric_formats/c07_negative_min.sdc
rta/evidence/golden/04_variables/c08_var_period.sdc
rta/evidence/golden/05_primary_clocks/c09_primary_two_async.sdc
rta/evidence/golden/05_primary_clocks/c10_primary_same_port.sdc
rta/evidence/golden/06_generated_clocks/c11_gen_div_chain.sdc
rta/evidence/golden/06_generated_clocks/c12_gen_pin_source.sdc
rta/evidence/golden/07_clock_groups/c13_groups_async_correct.sdc
rta/evidence/golden/07_clock_groups/c14_groups_physical_wrong.sdc
rta/evidence/golden/07_clock_groups/c15_groups_braced_list.sdc
rta/evidence/golden/08_io_delays/c16_io_exceeds_period.sdc
rta/evidence/golden/09_timing_exceptions/c17_mc_with_hold.sdc
rta/evidence/golden/10_malformed/c18_garbage.sdc
rta/evidence/golden/12_regressions/c19_comment_commands.sdc
rta/evidence/golden/12_regressions/c20_multiline_continuation.sdc
rta/evidence/golden/12_regressions/c21_uncertainty_flag_first.sdc
rta/evidence/golden/12_regressions/c22_data_port_sdc007.sdc
rta/evidence/golden_semantic/case_analysis/s04_conflicting_case_analysis.sdc
rta/evidence/golden_semantic/realistic/s10_realistic_one_defect.sdc
rta/evidence/golden_semantic/realistic/s11_realistic_multiple_defects.sdc
rta/evidence/golden_semantic/realistic/verify_realistic.py
rta/evidence/golden_semantic/undefined_references/s01_io_delay_undefined_clock.sdc
rta/evidence/golden_semantic/undefined_references/s02_generated_undefined_master.sdc
rta/evidence/golden_semantic/undefined_references/s03_group_undefined_clock.sdc
rta/evidence/golden_semantic/valid_multiple_constraints/s05_legal_io_multiples.sdc
rta/evidence/golden_semantic/valid_multiple_constraints/s06_netlist_dependent_refs.sdc
rta/evidence/golden_semantic/valid_multiple_constraints/s07_add_delay_and_modes.sdc
rta/evidence/invalid/bad_case_analysis.sdc
rta/evidence/invalid/data_port_clock.sdc
rta/evidence/invalid/divide_and_multiply.sdc
rta/evidence/invalid/duplicate_clock_names.sdc
rta/evidence/invalid/generated_clock_no_source.sdc
rta/evidence/invalid/io_delay_exceeds_period.sdc
rta/evidence/invalid/no_clock.sdc
rta/evidence/invalid/no_io_delays.sdc
rta/evidence/invalid/propagated_virtual_clock.sdc
rta/evidence/io_constraints/driving_cell_variants.sdc
rta/evidence/io_constraints/io_delay_clock_fall_add.sdc
rta/evidence/io_constraints/io_delays_full.sdc
rta/evidence/io_constraints/io_delays_max_only.sdc
rta/evidence/large_design/large_repeated.sdc
rta/evidence/large_design/many_clocks.sdc
rta/evidence/malformed/conflicting_constraints.sdc
rta/evidence/malformed/duplicate_file.sdc
rta/evidence/malformed/garbage_binary.sdc
rta/evidence/malformed/half_command.sdc
rta/evidence/malformed/unterminated_brace.sdc
rta/evidence/manifest/__init__.py
rta/evidence/manifest/evidence.py
rta/evidence/netlist_aware/NA01_valid_single_module.sdc
rta/evidence/netlist_aware/NA02_missing_port.sdc
rta/evidence/netlist_aware/NA03_hierarchy.sdc
rta/evidence/netlist_aware/NA04_buses.sdc
rta/evidence/netlist_aware/NA05_wildcards.sdc
rta/evidence/netlist_aware/NA06_generated_clocks.sdc
rta/evidence/netlist_aware/NA07_timing_exceptions.sdc
rta/evidence/netlist_aware/NA08_broken_design.sdc
rta/evidence/netlist_aware/NA09_multiple_tops.sdc
rta/evidence/netlist_aware/NA10_large_netlist.sdc
rta/evidence/production_hardening/fixtures/blocker.sdc
rta/evidence/production_hardening/fixtures/clean.sdc
rta/evidence/production_hardening/fixtures/mcp.sdc
rta/evidence/readiness/HR01_clean_sdconly.sdc
rta/evidence/readiness/HR02_clean_designaware.sdc
rta/evidence/readiness/HR03_undefined_clock.sdc
rta/evidence/readiness/HR04_unconstrained_io.sdc
rta/evidence/readiness/HR05_partial_bus.sdc
rta/evidence/readiness/HR06_contradictory_case.sdc
rta/evidence/readiness/HR07_contradictory_window.sdc
rta/evidence/readiness/HR08_duplicate_only.sdc
rta/evidence/readiness/HR09_override_only.sdc
rta/evidence/readiness/HR10_exception_overlap.sdc
rta/evidence/readiness/HR11_unsupported_construct.sdc
rta/evidence/readiness/HR12_missing_netlist.sdc
rta/evidence/readiness/HR13_multiple_blockers.sdc
rta/evidence/readiness/HR14_realistic_handoff.sdc
rta/evidence/readiness/HR15_realistic_notready.sdc
rta/evidence/readiness_diff/RDIF01_base.sdc
rta/evidence/readiness_diff/RDIF01_cur.sdc
rta/evidence/readiness_diff/RDIF02_base.sdc
rta/evidence/readiness_diff/RDIF02_cur.sdc
rta/evidence/readiness_diff/RDIF03_base.sdc
rta/evidence/readiness_diff/RDIF03_cur.sdc
rta/evidence/readiness_diff/RDIF04_base.sdc
rta/evidence/readiness_diff/RDIF04_cur.sdc
rta/evidence/readiness_diff/RDIF05_base.sdc
rta/evidence/readiness_diff/RDIF05_cur.sdc
rta/evidence/readiness_diff/RDIF06_base.sdc
rta/evidence/readiness_diff/RDIF06_cur.sdc
rta/evidence/readiness_diff/RDIF07_base.sdc
rta/evidence/readiness_diff/RDIF07_cur.sdc
rta/evidence/readiness_diff/RDIF08_base.sdc
rta/evidence/readiness_diff/RDIF08_cur.sdc
rta/evidence/readiness_diff/RDIF09_base.sdc
rta/evidence/readiness_diff/RDIF09_cur.sdc
rta/evidence/readiness_diff/RDIF10_base.sdc
rta/evidence/readiness_diff/RDIF10_cur.sdc
rta/evidence/readiness_diff/RDIF11_base.sdc
rta/evidence/readiness_diff/RDIF11_cur.sdc
rta/evidence/readiness_diff/RDIF12_base.sdc
rta/evidence/readiness_diff/RDIF12_cur.sdc
rta/evidence/readiness_diff/RDIF13_base.sdc
rta/evidence/readiness_diff/RDIF13_cur.sdc
rta/evidence/readiness_diff/RDIF14_base.sdc
rta/evidence/readiness_diff/RDIF14_cur.sdc
rta/evidence/readiness_diff/RDIF15_base.sdc
rta/evidence/readiness_diff/RDIF15_cur.sdc
rta/evidence/readiness_diff/RDIF16_base.sdc
rta/evidence/readiness_diff/RDIF16_cur.sdc
rta/evidence/readiness_diff/RDIF17_base.sdc
rta/evidence/readiness_diff/RDIF17_cur.sdc
rta/evidence/readiness_diff/RDIF20_base.sdc
rta/evidence/readiness_diff/RDIF20_cur.sdc
rta/evidence/readiness_diff/RDIF21_base.sdc
rta/evidence/readiness_diff/RDIF21_cur.sdc
rta/evidence/readiness_diff/RDIF22_base.sdc
rta/evidence/readiness_diff/RDIF22_cur.sdc
rta/evidence/reference_designs/rd01_single_clock/rd01_single_clock.sdc
rta/evidence/reference_designs/rd02_multi_clock_soc/rd02_multi_clock_soc.sdc
rta/evidence/reference_designs/rd03_generated_hierarchy/rd03_generated_hierarchy.sdc
rta/evidence/reference_designs/rd04_ddr_style/rd04_ddr_style.sdc
rta/evidence/reference_designs/rd05_multimode/rd05_multimode.sdc
rta/evidence/reference_designs/rd06_timing_exceptions/rd06_timing_exceptions.sdc
rta/evidence/reference_designs/rd07_broken/rd07_broken.sdc
rta/evidence/reference_designs/rd08_large/rd08_large.sdc
rta/evidence/regression/buggy_no_clocks.sdc
rta/evidence/regression/edge_case_empty.sdc
rta/evidence/regression/edge_case_extreme_values.sdc
rta/evidence/regression/edge_case_malformed.sdc
rta/evidence/regression/real_design_full.sdc
rta/evidence/regression/warning_heavy.sdc
rta/evidence/timing_exceptions/disable_timing_broad.sdc
rta/evidence/timing_exceptions/false_paths_suspicious.sdc
rta/evidence/timing_exceptions/false_paths_valid.sdc
rta/evidence/timing_exceptions/half_cycle_no_hold.sdc
rta/evidence/timing_exceptions/max_delay_datapath_only.sdc
rta/evidence/timing_exceptions/max_delay_no_datapath.sdc
rta/evidence/timing_exceptions/multicycle_no_hold.sdc
rta/evidence/timing_exceptions/multicycle_with_hold.sdc
rta/evidence/valid/full_featured.sdc
rta/evidence/valid/minimal_valid.sdc
rta/evidence/valid/multi_clock_sync_groups.sdc
rta/evidence/valid/virtual_clock_io.sdc
rta/examples/__init__.py
rta/examples/custom_rules_example.yaml
rta/examples/policies/__init__.py
rta/examples/samples/__init__.py
rta/examples/samples/buggy_no_clocks.sdc
rta/examples/samples/clock_relations.sdc
rta/examples/samples/constraint_diff_v1.sdc
rta/examples/samples/constraint_diff_v2.sdc
rta/examples/samples/edge_case_empty.sdc
rta/examples/samples/edge_case_extreme_values.sdc
rta/examples/samples/edge_case_malformed.sdc
rta/examples/samples/example.sdc
rta/examples/samples/minimal_sdc.sdc
rta/examples/samples/multi_corner_template.sdc
rta/examples/samples/real_design_full.sdc
rta/examples/samples/test_custom_rules.yaml
rta/examples/samples/variables_v1.tcl
rta/examples/samples/variables_v2.tcl
rta/examples/samples/warning_heavy.sdc
rta/examples/samples/check_variants/good_complex.sdc
rta/examples/samples/check_variants/minimal_but_valid.sdc
rta/examples/samples/diff/design_v1.sdc
rta/examples/samples/diff/design_v2.sdc
rta/infrastructure/__init__.py
rta/infrastructure/scripts/__init__.py
rta/infrastructure/scripts/gen_shims.py
rta/knowledge/__init__.py
rta/tests/__init__.py
rta/tests/conftest.py
rta/tests/run_comprehensive_checks.py
rta/tests/test_batch_runner.py
rta/tests/test_branding.py
rta/tests/test_checker.py
rta/tests/test_cli.py
rta/tests/test_clock_relations.py
rta/tests/test_constraint_diff.py
rta/tests/test_constraint_interactions.py
rta/tests/test_converter.py
rta/tests/test_coverage.py
rta/tests/test_custom_rules.py
rta/tests/test_design_context.py
rta/tests/test_design_coverage.py
rta/tests/test_evidence.py
rta/tests/test_finding_identity.py
rta/tests/test_generator.py
rta/tests/test_linter.py
rta/tests/test_p1_corrections.py
rta/tests/test_parity_defect_classes.py
rta/tests/test_policy_engine.py
rta/tests/test_readiness_diff.py
rta/tests/test_regressions.py
rta/tests/test_reporter.py
rta/tests/test_rules_registry.py
rta/tests/test_sdc_preprocess.py
rta/tests/test_snapshot_v2.py
rta/tests/test_support_boundary.py
rta/tests/test_tcl_resolver.py
rta/tests/test_test_drive_parity.py
rta/tests/test_wildcard_analyzer.py
rta/tools/__init__.py
rta/tools/deploy_hf_space.py
rta/tools/batch/__init__.py
rta/tools/batch/batch_runner.py
rta/tools/convert/__init__.py
rta/tools/convert/converter.py
rta/tools/corners/__init__.py
rta/tools/corners/corner_manager.py
rta/tools/corners/mmc.py
rta/tools/generate/__init__.py
rta/tools/generate/generator.py
rta/tools/lint/__init__.py
rta/tools/lint/linter.py
rta/tools/report/__init__.py
rta/tools/report/reporter.py
rta/website/__init__.py
rta/workspace/__init__.py
rta/workspace/server/__init__.py
rta/workspace/server/feedback.py
rta/workspace/webui/__init__.py
rta_constraint_intelligence.egg-info/PKG-INFO
rta_constraint_intelligence.egg-info/SOURCES.txt
rta_constraint_intelligence.egg-info/dependency_links.txt
rta_constraint_intelligence.egg-info/entry_points.txt
rta_constraint_intelligence.egg-info/requires.txt
rta_constraint_intelligence.egg-info/top_level.txt
tests/test_adversarial_mutations.py
tests/test_batch_runner.py
tests/test_checker.py
tests/test_cli.py
tests/test_clock_relations.py
tests/test_constraint_diff.py
tests/test_converter.py
tests/test_coverage.py
tests/test_custom_rules.py
tests/test_generator.py
tests/test_high_coverage_fixture.py
tests/test_linter.py
tests/test_reporter.py
tests/test_rules_registry.py
tests/test_tcl_resolver.py
tests/test_wildcard_analyzer.py