; BTOR description generated by Yosys 0.20+42 (git sha1 1c36f4cc2, clang 10.0.0-4ubuntu1 -fPIC -Os) for module mux_4to1_case.
1 sort bitvec 4
2 input 1 a ; mux_4_1.v:1.36-1.37
3 input 1 b ; mux_4_1.v:2.36-2.37
4 input 1 c ; mux_4_1.v:3.36-3.37
5 input 1 d ; mux_4_1.v:4.36-4.37
6 sort bitvec 2
7 input 6 sel ; mux_4_1.v:5.36-5.39
8 input 1
9 sort bitvec 1
10 const 6 11
11 eq 9 7 10 $procmux$3_CMP0 ; mux_4_1.v:0.0-0.0|mux_4_1.v:11.7-16.14
12 ite 1 11 5 8
13 const 6 10
14 eq 9 7 13 $procmux$4_CMP0 ; mux_4_1.v:0.0-0.0|mux_4_1.v:11.7-16.14
15 ite 1 14 4 12
16 const 6 01
17 eq 9 7 16 $procmux$5_CMP0 ; mux_4_1.v:0.0-0.0|mux_4_1.v:11.7-16.14
18 ite 1 17 3 15
19 redor 9 7
20 not 9 19 $procmux$6_CMP0 ; mux_4_1.v:0.0-0.0|mux_4_1.v:11.7-16.14
21 ite 1 20 2 18 $procmux$2 ; mux_4_1.v:0.0-0.0|mux_4_1.v:11.7-16.14
22 output 21 out ; mux_4_1.v:6.41-6.44
; end of yosys output