| .. |
|
abc_bench_add8.v
|
Add csa synth tests.
|
2026-03-13 12:23:26 +01:00 |
|
add_1bit.v
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
add_1bit_wide_out.v
|
Edge case tests.
|
2026-03-13 12:33:26 +01:00 |
|
add_chain_2_neg.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_chain_3.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_chain_5.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_chain_8.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_chain_16.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_mixed_widths.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_multi_const.v
|
Edge case tests.
|
2026-03-13 12:33:26 +01:00 |
|
add_multi_fanout.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_partial_chain.v
|
Edge case tests.
|
2026-03-13 12:33:26 +01:00 |
|
add_repeated.v
|
Edge case tests.
|
2026-03-13 12:33:26 +01:00 |
|
add_signed.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_two_chains.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_wide_output.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
add_with_const.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_1bit.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_1bit_wide_out.ys
|
Edge case tests.
|
2026-03-13 12:33:26 +01:00 |
|
csa_tree_2input_neg.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_3input.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_5input.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_8input.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_16input.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_const.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_equiv.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_fir.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_mixed_widths.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_multi_const.ys
|
Edge case tests.
|
2026-03-13 12:33:26 +01:00 |
|
csa_tree_multi_fanout.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_partial_chain.ys
|
Edge case tests.
|
2026-03-13 12:33:26 +01:00 |
|
csa_tree_repeated.ys
|
Edge case tests.
|
2026-03-13 12:33:26 +01:00 |
|
csa_tree_signed.ys
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
csa_tree_sim.ys
|
Add csa synth tests.
|
2026-03-13 12:23:26 +01:00 |
|
csa_tree_sub_2op_neg.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_sub_3op.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_sub_5op.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_sub_all.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_sub_equiv.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_sub_mixed.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_sub_signed.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_sub_sim.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_synth.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_two_chains.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
csa_tree_wide_output.ys
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
equiv_narrow.v
|
Edge case tests.
|
2026-03-13 12:33:26 +01:00 |
|
equiv_sub_narrow.v
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
fir_4tap.v
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
run-test.sh
|
Add structural tests for csa_tree.
|
2026-03-13 12:09:50 +01:00 |
|
sim_add4.v
|
Add csa synth tests.
|
2026-03-13 12:23:26 +01:00 |
|
sub_2op_neg.v
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
sub_3op.v
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
sub_5op.v
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
sub_all.v
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
sub_mixed.v
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
|
sub_signed.v
|
Add chain tests and tighten synthesis assertions for csa.
|
2026-03-13 13:14:32 +01:00 |
