Synopsys SILVER Integration

# GitLab CI: Silver SiL test stage
sil_test:
  stage: test
  image: synopsys/silver:2024.1
  script:
    # Build vECU from production source
    - silver-build \
        --source src/ \
        --stubs stubs/ \
        --config silver_config.yaml \
        --output SpeedController.fmu

    # Run test suite
    - silver-exec \
        --fmu SpeedController.fmu \
        --tests tests/silver_test_suite.yaml \
        --coverage gcov \
        --report reports/sil_report.html \
        --diff-against mil_reference/

    # Check results
    - python3 check_silver_results.py reports/sil_report.html

  artifacts:
    paths:
      - reports/sil_report.html
      - reports/coverage_report.html
    when: always
    expire_in: 90 days

"""Parse Silver SiL report and enforce quality gates."""
import sys
import xml.etree.ElementTree as ET

def check_silver_report(report_path: str) -> bool:
    tree = ET.parse(report_path)
    root = tree.getroot()

    # Check test pass rate
    total  = int(root.find(".//TestSummary/Total").text)
    passed = int(root.find(".//TestSummary/Passed").text)
    failed = int(root.find(".//TestSummary/Failed").text)

    if failed > 0:
        print(f"FAIL: {failed}/{total} tests failed")
        return False

    # Check coverage thresholds
    branch_cov = float(
        root.find(".//Coverage/Branch/Percentage").text)
    mcdc_cov   = float(
        root.find(".//Coverage/MCDC/Percentage").text)

    if branch_cov < 100.0:
        print(f"FAIL: Branch coverage {branch_cov:.1f}% < 100%")
        return False
    if mcdc_cov < 90.0:
        print(f"FAIL: MC/DC coverage {mcdc_cov:.1f}% < 90%")
        return False

    # Check MiL vs SiL diff
    max_diff = float(root.find(".//BackToBack/MaxDiff").text)
    if max_diff > 1e-4:
        print(f"FAIL: MiL/SiL max diff {max_diff:.6f} > 1e-4")
        return False

    print(f"PASS: {passed}/{total} tests, branch={branch_cov:.1f}%, "
          f"mcdc={mcdc_cov:.1f}%, max_diff={max_diff:.2e}")
    return True

if __name__ == "__main__":
    ok = check_silver_report(sys.argv[1])
    sys.exit(0 if ok else 1)