// Implements seatbelt needed light for car dashboard
module seatbelt_light (
	input  logic DBI,  // driver belt in
	input  logic PBI,  // passenger belt in
	input  logic P,    // passenger
	output logic SBL   // seatbelt light on
	);
	
	assign SBL = (~DBI) | (P & ~PBI);

endmodule  // seatbelt_light