30 lines
598 B
Coq
30 lines
598 B
Coq
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
module thermo2binary_top (
|
||
|
|
|
||
|
|
input [14:0] DEM_MSB_IN
|
||
|
|
,input [6 :0] DEM_ISB_IN
|
||
|
|
,input [8 :0] DEM_LSB_IN
|
||
|
|
|
||
|
|
,output [15:0] DOUT
|
||
|
|
);
|
||
|
|
|
||
|
|
wire [3:0] temp_data15_12;
|
||
|
|
thermo15_binary4 U_thermo15_binary4 (
|
||
|
|
.thermo_code ( DEM_MSB_IN )
|
||
|
|
,.binary_code ( temp_data15_12 )
|
||
|
|
);
|
||
|
|
|
||
|
|
wire [2:0] temp_data11_9;
|
||
|
|
thermo7_binary3 thermo7_binary3 (
|
||
|
|
.thermo_code ( DEM_ISB_IN )
|
||
|
|
,.binary_code ( temp_data11_9 )
|
||
|
|
);
|
||
|
|
|
||
|
|
|
||
|
|
assign DOUT = {temp_data15_12[3:0],temp_data11_9[2:0],DEM_LSB_IN[8:0]};
|
||
|
|
|
||
|
|
endmodule
|