Please follow the specs given. I need a Vivado testbench for the given equation. As well as truth table, logic diagram, and screenshots of output simulation showing proof it works properly.

Similar to Lab tutorial and lab 1, create and simulate in Vivado for F = AB' + CD'. Sixteen test cases: 0000-> 0001-> ......-> 1111 Things to be included in the report: Truth table, logic diagram, design and simulation code, simulation waveform clearling show sixteen cases. "timescale 1ns / 1ps module lab2(A, B, C, D, F ); input A, B, C, D; output F; assign F = ( A & (B))|(C & {-D) }; endmodule Similar to Lab tutorial and lab 1, create and simulate in Vivado for F = AB' + CD'. Sixteen test cases: 0000-> 0001-> ......-> 1111 Things to be included in the report: Truth table, logic diagram, design and simulation code, simulation waveform clearling show sixteen cases. "timescale 1ns / 1ps module lab2(A, B, C, D, F ); input A, B, C, D; output F; assign F = ( A & (B))|(C & {-D) }; endmodule