diff options
| author | N. Engelhardt <nak@yosyshq.com> | 2023-01-18 14:57:09 +0100 |
|---|---|---|
| committer | N. Engelhardt <nakengelhardt@gmail.com> | 2023-01-30 16:12:53 +0100 |
| commit | ecfa7e9fbc3681a735ae58e134fe78258f924d8d (patch) | |
| tree | e85505adf9d176ea9028e94e4394428799ba084f /tests/techmap | |
| parent | d11cb6901fc84bf036a99c01818f58a2299f8380 (diff) | |
| download | yosys-ecfa7e9fbc3681a735ae58e134fe78258f924d8d.tar.gz yosys-ecfa7e9fbc3681a735ae58e134fe78258f924d8d.tar.bz2 yosys-ecfa7e9fbc3681a735ae58e134fe78258f924d8d.zip | |
add pmux option to bmuxmap for better fsm detection with verific frontend
Diffstat (limited to 'tests/techmap')
| -rw-r--r-- | tests/techmap/bmuxmap_pmux.ys | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/tests/techmap/bmuxmap_pmux.ys b/tests/techmap/bmuxmap_pmux.ys new file mode 100644 index 000000000..c75d981e7 --- /dev/null +++ b/tests/techmap/bmuxmap_pmux.ys @@ -0,0 +1,45 @@ +read_ilang << EOT + +module \top + wire width 4 input 0 \S + wire width 5 output 1 \Y + + cell $bmux $0 + parameter \WIDTH 5 + parameter \S_WIDTH 4 + connect \A 80'10110100011101110001110010001110101010111000110011111111111110100000110100111000 + connect \S \S + connect \Y \Y + end +end + +EOT + +hierarchy -auto-top +equiv_opt -assert bmuxmap -pmux + +### +design -reset + +read_ilang << EOT + +module \top + wire width 10 input 0 \A + wire input 1 \S + wire width 5 output 2 \Y + + cell $bmux $0 + parameter \WIDTH 5 + parameter \S_WIDTH 1 + connect \A \A + connect \S \S + connect \Y \Y + end +end + +EOT + +hierarchy -auto-top +equiv_opt -assert bmuxmap -pmux + + |