[circt-bmc] Add multi-clock BMC support#9729

Closed

robert-at-pretension-io wants to merge 5 commits intollvm:mainfrom

robert-at-pretension-io:bmc-multi-clock-pr

Commits on Feb 22, 2026

[circt-bmc] Add multi-clock BMC support
robert-at-pretension-io
committed

Commits on Feb 24, 2026

Address reviewer feedback: Implement independent clock toggling via verif.clocked_by
myuser
committed
docs: remove references to 'legacy' or 'old behavior' for --sync-clocks
myuser
committed
fix: add missing conversion pattern for verif.symbolic_value in VerifToSMT
myuser
committed
feat: add top-level --sync-clocks flag to circt-bmc and add CDC Gray counter test
myuser
committed