data/full_repos/permissive/435890256/uvm_ref1/Processor-UVM-Verification/Code/Processor/grey_box.v
data/verilator_xmls/a1d69d22-ed25-4a01-8c01-633e52a7e741.xml
module gray_box(
    input a,
    input b,
    input c,
    output x
	 
    );

assign x=a|(b&c);
endmodule
module gray_box(
    input a,
    input b,
    input c,
    output x
	 
    );


assign x=a|(b&c);
endmodule