diff options
| author | Chat <63841542+chatrajaman3@users.noreply.github.com> | 2026-05-19 01:31:06 -0700 |
|---|---|---|
| committer | Warrick Lo <wlo@warricklo.net> | 2026-05-19 01:31:06 -0700 |
| commit | 429dd4fa609a5b8c71f8cd6ae6f8d74fd59f2280 (patch) | |
| tree | b50876bccb644b13766e4a2ba719d61af7846230 /docs/images/ori.svg | |
| parent | Add simple_alu RTL and formal verification (diff) | |
| download | montreal-429dd4fa609a5b8c71f8cd6ae6f8d74fd59f2280.tar.xz montreal-429dd4fa609a5b8c71f8cd6ae6f8d74fd59f2280.zip | |
Pass linter
- simple_alu.sv: rename ports with suffixes (clk_i, rst_ni, a_i, b_i,
sel_i, y_o, overflow_o); add default case to sel case statement;
add y_next and overflow_next combinational signals; simplify
always_ff to only register y_next and overflow_next
- simple_alu_fv.sv: rename ports to match RTL (clk_i, rst_ni, a_i, b_i,
sel_i, y_i, overflow_i); remove trailing spaces
- simple_alu_top_fv.sv: rename ports; replace .* with explicit
connections to match updated port names
- simple_alu_bind.sv: add missing posix newline at EOF
Diffstat (limited to 'docs/images/ori.svg')
0 files changed, 0 insertions, 0 deletions