Adopt register initial values from initial blocks in SEC - #256

Draft

Emin017 wants to merge 14 commits into

keplertech:mainfrom

Emin017:emin/support-initial-statement

Commits on Sep 22, 2026

Harvest DFF INIT parameters as SEC initial state values
Emin017
committed
683bd55
Accept all sized Verilog literal bases in DFF INIT parsing
Emin017
committed
419f2b5
Ignore INIT digit separators and cache expanded literals per instance
Emin017
committed
5459cda
Ignore digit separators in the INIT literal width
Emin017
committed
6440d6f
Document SystemVerilog initial value support in SEC
Emin017
committed
e53f5e4
Clarify sv2v initial value support is design-1 only
Emin017
committed
b0bca7e
Accept signed and negative DFF INIT literals
Emin017
committed
4e20357
Propagate unknown carry when negating INIT literals
Emin017
committed
ae79244
Sign-extend signed DFF INIT literals
Emin017
committed
765c4d5
Keep declared-width zero extension for signed DFF INIT literals
Emin017
committed
63ea1db
Narrow SEC INIT parsing to the canonical naja parameter form
Emin017
committed
aa5057d
Slim SEC INIT reading under the canonical parameter form
Emin017
committed
fe994a0
Handle ascending buses when reading canonical DFF INIT digits
Emin017
committed
7c9ea3e
Bump naja for type-gated parameter canonicalization
Emin017
committed
628e547