montreal, branch feature/fu

Sync with 'master'

2026-07-07T06:01:17+00:00

Signed-off-by: Warrick Lo

Add DCO [skip ci]

2026-06-26T10:50:59+00:00

Signed-off-by: Warrick Lo

Merge branch 'feature/fu' from MyDariell

2026-06-25T05:28:07+00:00

Implements arithmetic and bitwise logic in the ALU. * feature/fu: Clean up ALU before merge Implement XOR, OR, AND logical operations in sliced ALU Implement ADD and SUB operations in sliced ALU Closes: #16 Reviewed-by: Warrick Lo

Add CI pipeline for formal verification

2026-06-24T07:58:06+00:00

* Add formal verification tests with sby to CI * Fix reviewdog having insufficient API permissions See-also: #15 Signed-off-by: Warrick Lo

Clean up ALU before merge

2026-06-23T02:55:02+00:00

Co-authored-by: Warrick Lo Signed-off-by: Warrick Lo

Implement XOR, OR, AND logical operations in sliced ALU

2026-06-23T02:52:30+00:00

Signed-off-by: MyDariell

Implement ADD and SUB operations in sliced ALU

2026-06-22T01:55:45+00:00

Signed-off-by: Dariell Sugiaman

Merge branch 'feature/core'

2026-06-20T20:39:51+00:00

* feature/core: Minor refactor to regfile formal test module Add formal verification for regfile Move typedefs to types.svh from montreal_pkg Move design parameters to config_pkg regfile: refactor: 'chunks' are now 'slices' See-also: #13 See-also: #14 Reviewed-by: Warrick Lo

Add basic ALU skeleton

2026-06-20T20:18:38+00:00

Signed-off-by: Warrick Lo

Minor refactor to regfile formal test module

2026-06-20T11:50:19+00:00

Signed-off-by: Warrick Lo