Skip to content

Feature/odc analysis #8

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Allenjin123 merged 28 commits into from
Nov 9, 2025
Merged

Feature/odc analysis #8

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
14b406a
Add ODC analysis feature via error injection and bounded SEC
nblei Nov 3, 2025
a7917e6
Increased regression test timeout
nblei Nov 3, 2025
592502a
Add --odc-analysis support to batch_synth.sh
nblei Nov 4, 2025
52ee4f7
Add two-pass ODC optimization workflow
nblei Nov 4, 2025
0d95b14
Removed claude stuff
nblei Nov 4, 2025
c237286
merged with main
nblei Nov 4, 2025
62d9341
Integrate automatic ODC optimization into synthesis workflow
nblei Nov 4, 2025
d10da46
Add gate-level synthesis for ODC-optimized circuits
nblei Nov 4, 2025
e1de1d0
Update odc/constraint_analyzer.py
Allenjin123 Nov 5, 2025
cd784b5
Update odc/constraint_analyzer.py
Allenjin123 Nov 5, 2025
231a89a
Update odc/synthesis.py
Allenjin123 Nov 5, 2025
165d5a1
Update odc/sec_checker.py
Allenjin123 Nov 5, 2025
f7a3e1f
Update odc/sec_checker.py
Allenjin123 Nov 5, 2025
2896594
Update odc/error_injector.py
Allenjin123 Nov 5, 2025
e0dfd3a
Add higher-level ODC analysis using BMC-based mux reachability proof
nblei Nov 5, 2025
9cf3980
added batch_odc_optimization
nblei Nov 5, 2025
a12f6a5
Merge branch 'feature/odc-analysis' of github.com:CrucibleComputingGr…
nblei Nov 5, 2025
2d35064
Fix gate synthesis timing for ODC chip area comparison
nblei Nov 5, 2025
6c15ac9
Fix register file synthesis with wrapper module and refactor synthesi…
nblei Nov 8, 2025
7652487
Enable single-cycle core support with core-agnostic ODC analysis
nblei Nov 8, 2025
0304735
Fix SEC log capture and enable single-cycle ODC equivalence checking
nblei Nov 8, 2025
1cc9777
Complete single-cycle register file ODC optimization support
nblei Nov 8, 2025
9ac213b
Add automatic register file transformation for simple array style
nblei Nov 8, 2025
318b38d
Synthesizing to flops
nblei Nov 8, 2025
a185771
Updated requirements for CI pipeline
nblei Nov 8, 2025
a70f37e
fixed failing tests (false positives)
nblei Nov 9, 2025
f793a53
Lengthened timeout and increased job size
nblei Nov 9, 2025
644fe40
Add OpenSTA timing analysis integration and fix dfflibmap
nblei Nov 9, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
473 changes: 0 additions & 473 deletions .claude/CONFIG_SYSTEM_IMPLEMENTATION.md
View file
Open in desktop

This file was deleted.

135 changes: 0 additions & 135 deletions .claude/batch_synth_tests_summary.md
View file
Open in desktop

This file was deleted.

227 changes: 0 additions & 227 deletions .claude/github_actions_caching_explained.md
View file
Open in desktop

This file was deleted.

Loading