| // SPDX-License-Identifier: MIT |
| // SPDX-FileCopyrightText: 2022 Tamas Hubai |
| |
| `default_nettype none |
| |
| module u22_tb (); |
| |
| integer i; |
| reg [3:0] func1; |
| reg [3:0] func2; |
| wire [1:0] subs = i; |
| reg [5:0] wiring; |
| wire a, b; |
| assign {a, b} = subs; |
| wire [1:0] dut_out; |
| wire mux_out1, mux_out2; |
| wire assert = dut_out == {mux_out1, mux_out2}; |
| |
| wire O = 1'b0; |
| wire I = 1'b1; |
| |
| u22 dut ( |
| .in(wiring), |
| .out(dut_out) |
| ); |
| |
| mux2 mux_i1 ( |
| .in(func1), |
| .sel(subs), |
| .out(mux_out1) |
| ); |
| |
| mux2 mux_i2 ( |
| .in(func2), |
| .sel(subs), |
| .out(mux_out2) |
| ); |
| |
| initial begin |
| for (i=0; i<4; i=i+1) begin |
| #I func1 = {O, O, O, O}; func2 = {O, O, O, O}; wiring = {O, O, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {O, O, O, I}; wiring = {a, b, a, I, I, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {O, O, I, O}; wiring = {b, O, a, a, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {O, O, I, I}; wiring = {b, O, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {O, I, O, O}; wiring = {a, O, b, b, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {O, I, O, I}; wiring = {a, O, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {O, I, I, O}; wiring = {b, O, O, O, a, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {O, I, I, I}; wiring = {b, O, a, O, O, a}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {I, O, O, O}; wiring = {I, b, a, a, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {I, O, O, I}; wiring = {I, b, O, O, a, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {I, O, I, O}; wiring = {I, a, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {I, O, I, I}; wiring = {I, b, a, a, b, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {I, I, O, O}; wiring = {I, b, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {I, I, O, I}; wiring = {I, a, b, b, a, O}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {I, I, I, O}; wiring = {I, b, I, O, a, I}; #I $display(assert); |
| #I func1 = {O, O, O, O}; func2 = {I, I, I, I}; wiring = {I, O, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {O, O, O, O}; wiring = {a, b, b, O, a, O}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {O, O, O, I}; wiring = {O, b, b, a, a, O}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {O, O, I, O}; wiring = {b, a, a, O, a, O}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {O, O, I, I}; wiring = {b, a, a, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {O, I, O, O}; wiring = {a, b, b, O, b, O}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {O, I, O, I}; wiring = {a, b, b, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {O, I, I, O}; wiring = {b, a, O, O, O, a}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {O, I, I, I}; wiring = {b, a, I, a, I, I}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {I, O, O, O}; wiring = {b, a, a, O, I, O}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {I, O, O, I}; wiring = {b, O, O, a, I, O}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {I, O, I, O}; wiring = {I, I, a, I, O, b}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {I, O, I, I}; wiring = {b, I, b, a, a, I}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {I, I, O, O}; wiring = {I, I, b, I, O, a}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {I, I, O, I}; wiring = {a, I, a, b, b, I}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {I, I, I, O}; wiring = {b, a, I, a, O, I}; #I $display(assert); |
| #I func1 = {O, O, O, I}; func2 = {I, I, I, I}; wiring = {b, a, I, a, a, I}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {O, O, O, O}; wiring = {a, b, O, b, a, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {O, O, O, I}; wiring = {a, a, O, b, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {O, O, I, O}; wiring = {a, b, I, I, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {O, O, I, I}; wiring = {a, I, b, I, I, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {O, I, O, O}; wiring = {O, O, O, b, a, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {O, I, O, I}; wiring = {a, b, O, b, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {O, I, I, O}; wiring = {a, b, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {O, I, I, I}; wiring = {a, b, O, O, b, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {I, O, O, O}; wiring = {b, I, O, a, a, I}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {I, O, O, I}; wiring = {O, O, b, a, I, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {I, O, I, O}; wiring = {O, b, O, a, I, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {I, O, I, I}; wiring = {I, a, O, b, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {I, I, O, O}; wiring = {a, b, I, O, a, I}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {I, I, O, I}; wiring = {a, b, I, O, O, I}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {I, I, I, O}; wiring = {I, a, b, a, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, O}; func2 = {I, I, I, I}; wiring = {I, a, b, a, b, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {O, O, O, O}; wiring = {O, O, O, b, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {O, O, O, I}; wiring = {O, a, a, b, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {O, O, I, O}; wiring = {b, I, I, O, a, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {O, O, I, I}; wiring = {O, b, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {O, I, O, O}; wiring = {O, a, O, b, O, a}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {O, I, O, I}; wiring = {a, O, O, b, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {O, I, I, O}; wiring = {I, a, b, O, I, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {O, I, I, I}; wiring = {a, O, b, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {I, O, O, O}; wiring = {O, b, I, O, a, I}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {I, O, O, I}; wiring = {a, O, b, O, I, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {I, O, I, O}; wiring = {I, b, b, O, a, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {I, O, I, I}; wiring = {I, a, b, O, O, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {I, I, O, O}; wiring = {O, O, b, O, I, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {I, I, O, I}; wiring = {b, I, O, O, a, I}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {I, I, I, O}; wiring = {I, a, b, O, a, O}; #I $display(assert); |
| #I func1 = {O, O, I, I}; func2 = {I, I, I, I}; wiring = {I, O, b, O, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {O, O, O, O}; wiring = {b, a, O, a, b, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {O, O, O, I}; wiring = {b, b, O, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {O, O, I, O}; wiring = {O, O, O, a, b, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {O, O, I, I}; wiring = {b, a, O, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {O, I, O, O}; wiring = {b, a, I, I, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {O, I, O, I}; wiring = {b, I, a, I, I, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {O, I, I, O}; wiring = {b, a, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {O, I, I, I}; wiring = {b, a, O, O, a, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {I, O, O, O}; wiring = {a, I, O, b, b, I}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {I, O, O, I}; wiring = {O, O, a, b, I, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {I, O, I, O}; wiring = {b, a, I, O, a, I}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {I, O, I, I}; wiring = {b, a, I, O, O, I}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {I, I, O, O}; wiring = {O, a, O, b, I, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {I, I, O, I}; wiring = {I, b, O, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {I, I, I, O}; wiring = {I, b, a, b, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, O}; func2 = {I, I, I, I}; wiring = {I, b, a, b, a, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {O, O, O, O}; wiring = {O, O, O, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {O, O, O, I}; wiring = {O, b, b, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {O, O, I, O}; wiring = {b, O, a, a, O, a}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {O, O, I, I}; wiring = {b, O, O, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {O, I, O, O}; wiring = {a, I, I, O, b, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {O, I, O, I}; wiring = {O, a, O, O, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {O, I, I, O}; wiring = {I, b, a, O, I, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {O, I, I, I}; wiring = {b, O, a, O, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {I, O, O, O}; wiring = {O, a, I, O, b, I}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {I, O, O, I}; wiring = {b, O, a, O, I, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {I, O, I, O}; wiring = {O, O, a, O, I, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {I, O, I, I}; wiring = {I, b, I, a, a, I}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {I, I, O, O}; wiring = {I, b, a, O, a, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {I, I, O, I}; wiring = {I, b, a, O, O, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {I, I, I, O}; wiring = {I, b, a, O, b, O}; #I $display(assert); |
| #I func1 = {O, I, O, I}; func2 = {I, I, I, I}; wiring = {I, O, a, O, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {O, O, O, O}; wiring = {b, I, I, O, I, a}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {O, O, O, I}; wiring = {O, O, a, b, a, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {O, O, I, O}; wiring = {O, O, b, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {O, O, I, I}; wiring = {a, I, I, b, I, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {O, I, O, O}; wiring = {O, O, a, b, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {O, I, O, I}; wiring = {b, I, I, a, I, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {O, I, I, O}; wiring = {O, b, a, O, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {O, I, I, I}; wiring = {a, b, O, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {I, O, O, O}; wiring = {b, I, a, O, a, I}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {I, O, O, I}; wiring = {b, I, a, O, O, I}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {I, O, I, O}; wiring = {O, b, a, O, I, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {I, O, I, I}; wiring = {I, a, a, b, a, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {I, I, O, O}; wiring = {O, a, b, O, I, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {I, I, O, I}; wiring = {I, b, b, a, b, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {I, I, I, O}; wiring = {I, O, b, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, O}; func2 = {I, I, I, I}; wiring = {I, b, b, a, a, O}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {O, O, O, O}; wiring = {O, O, O, b, O, a}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {O, O, O, I}; wiring = {O, b, a, b, a, O}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {O, O, I, O}; wiring = {O, b, O, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {O, O, I, I}; wiring = {O, a, b, a, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {O, I, O, O}; wiring = {O, a, O, b, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {O, I, O, I}; wiring = {O, b, a, b, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {O, I, I, O}; wiring = {a, b, a, O, a, O}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {O, I, I, I}; wiring = {a, b, a, O, O, O}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {I, O, O, O}; wiring = {a, b, I, a, O, I}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {I, O, O, I}; wiring = {a, b, I, a, a, I}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {I, O, I, O}; wiring = {b, O, a, b, I, b}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {I, O, I, I}; wiring = {a, b, O, O, I, a}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {I, I, O, O}; wiring = {a, O, b, a, I, a}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {I, I, O, I}; wiring = {I, b, b, a, b, a}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {I, I, I, O}; wiring = {a, b, a, O, I, O}; #I $display(assert); |
| #I func1 = {O, I, I, I}; func2 = {I, I, I, I}; wiring = {I, O, O, b, O, a}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {O, O, O, O}; wiring = {b, O, b, I, a, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {O, O, O, I}; wiring = {a, b, I, a, I, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {O, O, I, O}; wiring = {b, b, a, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {O, O, I, I}; wiring = {O, I, b, I, a, I}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {O, I, O, O}; wiring = {a, a, b, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {O, I, O, I}; wiring = {O, I, a, I, b, I}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {O, I, I, O}; wiring = {a, b, a, O, a, I}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {O, I, I, I}; wiring = {b, b, a, I, a, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {I, O, O, O}; wiring = {a, b, I, a, O, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {I, O, O, I}; wiring = {I, b, a, I, I, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {I, O, I, O}; wiring = {I, b, a, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {I, O, I, I}; wiring = {I, b, a, I, a, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {I, I, O, O}; wiring = {I, a, b, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {I, I, O, I}; wiring = {I, a, b, I, b, O}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {I, I, I, O}; wiring = {a, b, a, O, I, I}; #I $display(assert); |
| #I func1 = {I, O, O, O}; func2 = {I, I, I, I}; wiring = {b, I, O, b, O, a}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {O, O, O, O}; wiring = {O, b, I, O, I, a}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {O, O, O, I}; wiring = {O, a, b, I, a, O}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {O, O, I, O}; wiring = {O, b, a, O, a, I}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {O, O, I, I}; wiring = {O, a, I, b, I, O}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {O, I, O, O}; wiring = {O, a, b, O, b, I}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {O, I, O, I}; wiring = {O, b, I, a, I, O}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {O, I, I, O}; wiring = {O, b, a, O, O, I}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {O, I, I, I}; wiring = {b, I, a, I, a, I}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {I, O, O, O}; wiring = {b, I, a, O, a, O}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {I, O, O, I}; wiring = {b, I, a, O, O, O}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {I, O, I, O}; wiring = {b, I, a, O, I, O}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {I, O, I, I}; wiring = {O, a, I, b, b, O}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {I, I, O, O}; wiring = {a, I, b, O, I, O}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {I, I, O, I}; wiring = {O, b, I, a, a, O}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {I, I, I, O}; wiring = {I, a, b, a, O, I}; #I $display(assert); |
| #I func1 = {I, O, O, I}; func2 = {I, I, I, I}; wiring = {I, b, a, b, a, I}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {O, O, O, O}; wiring = {O, O, a, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {O, O, O, I}; wiring = {a, b, a, I, a, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {O, O, I, O}; wiring = {b, O, a, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {O, O, I, I}; wiring = {a, I, b, I, a, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {O, I, O, O}; wiring = {O, a, O, b, a, I}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {O, I, O, I}; wiring = {a, I, O, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {O, I, I, O}; wiring = {a, I, b, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {O, I, I, I}; wiring = {a, I, b, I, b, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {I, O, O, O}; wiring = {O, a, I, O, b, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {I, O, O, I}; wiring = {a, I, O, b, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {I, O, I, O}; wiring = {a, I, O, O, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {I, O, I, I}; wiring = {I, b, I, a, a, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {I, I, O, O}; wiring = {a, I, O, b, a, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {I, I, O, I}; wiring = {I, b, a, O, O, I}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {I, I, I, O}; wiring = {b, O, I, a, a, O}; #I $display(assert); |
| #I func1 = {I, O, I, O}; func2 = {I, I, I, I}; wiring = {I, a, O, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {O, O, O, O}; wiring = {b, O, b, I, a, I}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {O, O, O, I}; wiring = {O, b, a, I, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {O, O, I, O}; wiring = {b, a, I, O, I, O}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {O, O, I, I}; wiring = {b, O, O, I, a, O}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {O, I, O, O}; wiring = {b, a, I, I, O, I}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {O, I, O, I}; wiring = {O, b, a, I, a, O}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {O, I, I, O}; wiring = {b, a, O, O, O, I}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {O, I, I, I}; wiring = {b, a, O, O, a, I}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {I, O, O, O}; wiring = {a, b, I, a, O, b}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {I, O, O, I}; wiring = {O, I, a, b, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {I, O, I, O}; wiring = {b, a, I, O, a, O}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {I, O, I, I}; wiring = {b, a, I, O, O, O}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {I, I, O, O}; wiring = {I, a, b, I, O, I}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {I, I, O, I}; wiring = {b, a, O, O, I, I}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {I, I, I, O}; wiring = {I, O, a, b, O, I}; #I $display(assert); |
| #I func1 = {I, O, I, I}; func2 = {I, I, I, I}; wiring = {I, a, a, b, b, I}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {O, O, O, O}; wiring = {O, O, b, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {O, O, O, I}; wiring = {b, a, b, I, b, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {O, O, I, O}; wiring = {b, I, I, O, a, I}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {O, O, I, I}; wiring = {b, I, O, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {O, I, O, O}; wiring = {a, O, b, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {O, I, O, I}; wiring = {b, I, a, I, b, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {O, I, I, O}; wiring = {b, I, a, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {O, I, I, I}; wiring = {b, I, a, I, a, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {I, O, O, O}; wiring = {O, b, I, O, a, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {I, O, O, I}; wiring = {b, I, O, a, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {I, O, I, O}; wiring = {b, I, O, a, b, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {I, O, I, I}; wiring = {I, a, b, O, O, I}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {I, I, O, O}; wiring = {b, I, O, O, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {I, I, O, I}; wiring = {b, I, O, O, a, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {I, I, I, O}; wiring = {I, b, O, I, a, O}; #I $display(assert); |
| #I func1 = {I, I, O, O}; func2 = {I, I, I, I}; wiring = {I, b, O, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {O, O, O, O}; wiring = {a, O, a, I, b, I}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {O, O, O, I}; wiring = {O, a, b, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {O, O, I, O}; wiring = {a, b, I, I, O, I}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {O, O, I, I}; wiring = {O, a, b, I, b, O}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {O, I, O, O}; wiring = {a, b, I, O, I, O}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {O, I, O, I}; wiring = {a, O, O, I, b, O}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {O, I, I, O}; wiring = {a, b, O, O, O, I}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {O, I, I, I}; wiring = {b, b, a, I, a, I}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {I, O, O, O}; wiring = {a, b, I, a, O, a}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {I, O, O, I}; wiring = {O, I, b, a, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {I, O, I, O}; wiring = {I, b, a, I, O, I}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {I, O, I, I}; wiring = {a, b, O, O, I, I}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {I, I, O, O}; wiring = {a, b, I, O, a, O}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {I, I, O, I}; wiring = {a, b, I, O, O, O}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {I, I, I, O}; wiring = {I, O, b, a, O, I}; #I $display(assert); |
| #I func1 = {I, I, O, I}; func2 = {I, I, I, I}; wiring = {I, b, b, a, a, I}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {O, O, O, O}; wiring = {a, b, b, O, a, I}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {O, O, O, I}; wiring = {O, b, a, I, O, I}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {O, O, I, O}; wiring = {b, a, O, I, b, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {O, O, I, I}; wiring = {b, a, O, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {O, I, O, O}; wiring = {a, b, O, I, a, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {O, I, O, I}; wiring = {a, b, O, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {O, I, I, O}; wiring = {b, a, a, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {O, I, I, I}; wiring = {b, a, I, a, I, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {I, O, O, O}; wiring = {b, a, a, O, I, I}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {I, O, O, I}; wiring = {a, I, a, b, a, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {I, O, I, O}; wiring = {b, I, b, a, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {I, O, I, I}; wiring = {I, a, O, b, O, I}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {I, I, O, O}; wiring = {a, I, a, b, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {I, I, O, I}; wiring = {I, b, O, a, O, I}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {I, I, I, O}; wiring = {b, a, I, a, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, O}; func2 = {I, I, I, I}; wiring = {b, a, I, a, a, O}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {O, O, O, O}; wiring = {O, O, O, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {O, O, O, I}; wiring = {I, b, I, I, a, I}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {O, O, I, O}; wiring = {b, O, a, I, O, I}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {O, O, I, I}; wiring = {b, O, O, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {O, I, O, O}; wiring = {a, O, b, I, O, I}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {O, I, O, I}; wiring = {a, O, O, I, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {O, I, I, O}; wiring = {b, O, O, O, a, I}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {O, I, I, I}; wiring = {b, O, O, b, a, I}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {I, O, O, O}; wiring = {I, b, a, a, O, I}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {I, O, O, I}; wiring = {I, b, O, O, a, I}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {I, O, I, O}; wiring = {O, I, O, a, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {I, O, I, I}; wiring = {b, O, I, O, a, O}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {I, I, O, O}; wiring = {O, I, O, b, O, O}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {I, I, O, I}; wiring = {a, O, I, O, b, O}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {I, I, I, O}; wiring = {I, b, I, O, a, O}; #I $display(assert); |
| #I func1 = {I, I, I, I}; func2 = {I, I, I, I}; wiring = {O, I, O, O, O, O}; #I $display(assert); |
| end |
| end |
| |
| endmodule |
| |
