aboutsummaryrefslogtreecommitdiff
path: root/verif/formal/simple_alu/simple_alu_fv.sv
diff options
context:
space:
mode:
authorWarrick Lo <wlo@warricklo.net>2026-06-17 00:44:02 +0000
committerWarrick Lo <wlo@warricklo.net>2026-06-17 00:44:02 +0000
commitef9254b3303a03ea4ab3c32aaf1d79df651e3b92 (patch)
treedea7bd703dca6221b577b5d5f87b1f985f9f3297 /verif/formal/simple_alu/simple_alu_fv.sv
parentregfile: refactor: 'chunks' are now 'slices' (diff)
downloadmontreal-ef9254b3303a03ea4ab3c32aaf1d79df651e3b92.tar.xz
montreal-ef9254b3303a03ea4ab3c32aaf1d79df651e3b92.zip
Move design parameters to config_pkg
Signed-off-by: Warrick Lo <wlo@warricklo.net>
Diffstat (limited to 'verif/formal/simple_alu/simple_alu_fv.sv')
0 files changed, 0 insertions, 0 deletions