montreal - RV32E core for TinyTapeout, codename "Montréal". Mirror of https://github.com/ubc-asic/montreal.git.

Branch	Commit message	Author	Age
feature/core	Minor refactor to regfile formal test module	Warrick Lo	4 weeks
feature/fu	Sync with 'master'	Warrick Lo	10 days
feature/shifter	Implement slice-serial shifter	Warrick Lo	12 days
master	Add DCO [skip ci]	Warrick Lo	3 weeks


Age	Commit message	Author	Files	Lines
2026-06-26	Add DCO [skip ci]HEAD master	Warrick Lo	1	-0/+34
2026-06-24	Add CI pipeline for formal verification	Warrick Lo	13	-16/+44
2026-06-20	Merge branch 'feature/core'	Warrick Lo	5	-17/+329
2026-06-20	Minor refactor to regfile formal test modulefeature/core	Warrick Lo	2	-56/+83
2026-06-18	Add formal verification for regfile	Warrick Lo	2	-0/+244
2026-06-18	Move typedefs to types.svh from montreal_pkg	Warrick Lo	4	-13/+27
2026-06-17	Sync with 'master'	Warrick Lo	60	-87/+639
2026-06-17	Move design parameters to config_pkg	Warrick Lo	3	-10/+37
2026-06-16	regfile: refactor: 'chunks' are now 'slices'	Warrick Lo	1	-14/+14
2026-06-16	Merge branch 'crajaman/top-level-rtl'	Warrick Lo	3	-0/+134
[...]

Clone
https://git.warricklo.net/montreal
git://git.warricklo.net/montreal
ssh://git.warricklo.net:/pub/git/montreal