data/full_repos/permissive/116473298/Traffic_lights_comprehensive_experiment.srcs/sources_1/new/emergency.v
'utf-8' codec can't decode byte 0xba in position 734: invalid start byte
data/verilator_xmls/b228400c-f46e-4641-9cf5-d36e5ba23cd5.xml
module emergency
    (
    input emergency,
    input [3:0] counterh,counterl,
    input [2:0] lights_in,
    output [3:0] qh,ql,
    output [2:0] lights_out
    );
    
    parameter [3:0] time_emergency = 4'h8;
    parameter [2:0] lights_emergency = 3'b100;
    
    assign {qh,ql} = emergency ? {time_emergency,time_emergency} : {counterh,counterl};
    assign {lights_out} = emergency ? {lights_emergency} : {lights_in};
endmodule
module emergency
    (
    input emergency,
    input [3:0] counterh,counterl,
    input [2:0] lights_in,
    output [3:0] qh,ql,
    output [2:0] lights_out
    );

    
    parameter [3:0] time_emergency = 4'h8;
    parameter [2:0] lights_emergency = 3'b100;
    
    assign {qh,ql} = emergency ? {time_emergency,time_emergency} : {counterh,counterl};
    assign {lights_out} = emergency ? {lights_emergency} : {lights_in};
endmodule