1
0
mirror of https://github.com/pConst/basic_verilog.git synced 2025-01-28 07:02:55 +08:00

242 lines
22 KiB
Coq

/*
* led_ctrl_rom generated by KCAsm at Sat May 26 15:39:07 EDT 2007
*/
module led_ctrl_rom(address, instruction, clk);
input [9:0] address;
output [17:0] instruction;
input clk;
RAMB16_S18 ram_1024_x_18(
.DI (16'b0),
.DIP (2'b0),
.EN (1'b1),
.WE (1'b0),
.SSR (1'b0),
.CLK (clk),
.ADDR (address),
.DO (instruction[15:0]),
.DOP (instruction[17:16])
);
// synthesis translate_off
/* synthesis
init_00 = "E015E014E013E012E0110000E0100001C0014002810150074108F01001010000"
init_01 = "400060105C16C2015C17C1015C18C00100FF01FF020358B68F010F00E017E016"
init_02 = "00045431410B6110E10100A8E0105024410461114029800180205029C0205026"
init_03 = "E0115037410461125037410B6110403F80018010503FC010503940006011403F"
init_04 = "5048410461135048410461114050800180105050C010504A40006012E10200A8"
init_05 = "410461145059410461124061800180105061C010505B40006013E10300A8E012"
init_06 = "6115506A410461134072800180105072C010506C40006014E10400A8E0135059"
init_07 = "507B410461144083800180105083C010507D40006015E10500A8E014506A4104"
init_08 = "5096C01050934000601640960004548B410B6117E10600A8E015507B41046116"
init_09 = "8001802050A4C02050A140006017E10700A8E016509141046115409680018010"
init_0A = "58B10106B000C0010101B000400001004013E10800A8E017509F4104611640A4"
init_0B = "405000F9C0400000C0400001C0200000C020000140B2010EB000C001014040AC"
init_0C = "C020000154CCC00100FF401554CB405300F954CB405300F954CB404100F954CB"
init_0D = "00F95415404900F95415404100F95415404600F9C0400000C0400001C0200000"
init_0E = "C20154EDC30103FF0218114040E5810150EA4108F0100101040000FF5415404C"
init_0F = "E10EE00DA000400250F92001400140F840E48401C00150F8400054EBC10154EC"
init_10 = "020051006005020051006006020051006007020051006008E10081016100E20F"
init_11 = "620F610E600DC280020051006001020051006002020051006003020051006004"
init_12 = "0000000000000000000000000000000000000000000000000000000000008001"
init_13 = "0000000000000000000000000000000000000000000000000000000000000000"
init_14 = "0000000000000000000000000000000000000000000000000000000000000000"
init_15 = "0000000000000000000000000000000000000000000000000000000000000000"
init_16 = "0000000000000000000000000000000000000000000000000000000000000000"
init_17 = "0000000000000000000000000000000000000000000000000000000000000000"
init_18 = "0000000000000000000000000000000000000000000000000000000000000000"
init_19 = "0000000000000000000000000000000000000000000000000000000000000000"
init_1A = "0000000000000000000000000000000000000000000000000000000000000000"
init_1B = "0000000000000000000000000000000000000000000000000000000000000000"
init_1C = "0000000000000000000000000000000000000000000000000000000000000000"
init_1D = "0000000000000000000000000000000000000000000000000000000000000000"
init_1E = "0000000000000000000000000000000000000000000000000000000000000000"
init_1F = "0000000000000000000000000000000000000000000000000000000000000000"
init_20 = "0000000000000000000000000000000000000000000000000000000000000000"
init_21 = "0000000000000000000000000000000000000000000000000000000000000000"
init_22 = "0000000000000000000000000000000000000000000000000000000000000000"
init_23 = "0000000000000000000000000000000000000000000000000000000000000000"
init_24 = "0000000000000000000000000000000000000000000000000000000000000000"
init_25 = "0000000000000000000000000000000000000000000000000000000000000000"
init_26 = "0000000000000000000000000000000000000000000000000000000000000000"
init_27 = "0000000000000000000000000000000000000000000000000000000000000000"
init_28 = "0000000000000000000000000000000000000000000000000000000000000000"
init_29 = "0000000000000000000000000000000000000000000000000000000000000000"
init_2A = "0000000000000000000000000000000000000000000000000000000000000000"
init_2B = "0000000000000000000000000000000000000000000000000000000000000000"
init_2C = "0000000000000000000000000000000000000000000000000000000000000000"
init_2D = "0000000000000000000000000000000000000000000000000000000000000000"
init_2E = "0000000000000000000000000000000000000000000000000000000000000000"
init_2F = "0000000000000000000000000000000000000000000000000000000000000000"
init_30 = "0000000000000000000000000000000000000000000000000000000000000000"
init_31 = "0000000000000000000000000000000000000000000000000000000000000000"
init_32 = "0000000000000000000000000000000000000000000000000000000000000000"
init_33 = "0000000000000000000000000000000000000000000000000000000000000000"
init_34 = "0000000000000000000000000000000000000000000000000000000000000000"
init_35 = "0000000000000000000000000000000000000000000000000000000000000000"
init_36 = "0000000000000000000000000000000000000000000000000000000000000000"
init_37 = "0000000000000000000000000000000000000000000000000000000000000000"
init_38 = "0000000000000000000000000000000000000000000000000000000000000000"
init_39 = "0000000000000000000000000000000000000000000000000000000000000000"
init_3A = "0000000000000000000000000000000000000000000000000000000000000000"
init_3B = "0000000000000000000000000000000000000000000000000000000000000000"
init_3C = "0000000000000000000000000000000000000000000000000000000000000000"
init_3D = "0000000000000000000000000000000000000000000000000000000000000000"
init_3E = "0000000000000000000000000000000000000000000000000000000000000000"
init_3F = "40FE000000000000000000000000000000000000000000000000000000000000"
initp_00 = "D35DD2ED34D774BB4D35DD2ED34D774BB4D35DD334BB4D774DDD034AAA88F760"
initp_01 = "A8D3D777740DD80DF7DF78888D3DF7DF78888E93E924EED35DD2ED35DD334BB4"
initp_02 = "0000000000000000000000000000000000000000000000030292492492492492"
initp_03 = "0000000000000000000000000000000000000000000000000000000000000000"
initp_04 = "0000000000000000000000000000000000000000000000000000000000000000"
initp_05 = "0000000000000000000000000000000000000000000000000000000000000000"
initp_06 = "0000000000000000000000000000000000000000000000000000000000000000"
initp_07 = "C000000000000000000000000000000000000000000000000000000000000000"
*/
// synthesis translate_off
defparam ram_1024_x_18.INIT_00 = 256'hE015E014E013E012E0110000E0100001C0014002810150074108F01001010000;
defparam ram_1024_x_18.INIT_01 = 256'h400060105C16C2015C17C1015C18C00100FF01FF020358B68F010F00E017E016;
defparam ram_1024_x_18.INIT_02 = 256'h00045431410B6110E10100A8E0105024410461114029800180205029C0205026;
defparam ram_1024_x_18.INIT_03 = 256'hE0115037410461125037410B6110403F80018010503FC010503940006011403F;
defparam ram_1024_x_18.INIT_04 = 256'h5048410461135048410461114050800180105050C010504A40006012E10200A8;
defparam ram_1024_x_18.INIT_05 = 256'h410461145059410461124061800180105061C010505B40006013E10300A8E012;
defparam ram_1024_x_18.INIT_06 = 256'h6115506A410461134072800180105072C010506C40006014E10400A8E0135059;
defparam ram_1024_x_18.INIT_07 = 256'h507B410461144083800180105083C010507D40006015E10500A8E014506A4104;
defparam ram_1024_x_18.INIT_08 = 256'h5096C01050934000601640960004548B410B6117E10600A8E015507B41046116;
defparam ram_1024_x_18.INIT_09 = 256'h8001802050A4C02050A140006017E10700A8E016509141046115409680018010;
defparam ram_1024_x_18.INIT_0A = 256'h58B10106B000C0010101B000400001004013E10800A8E017509F4104611640A4;
defparam ram_1024_x_18.INIT_0B = 256'h405000F9C0400000C0400001C0200000C020000140B2010EB000C001014040AC;
defparam ram_1024_x_18.INIT_0C = 256'hC020000154CCC00100FF401554CB405300F954CB405300F954CB404100F954CB;
defparam ram_1024_x_18.INIT_0D = 256'h00F95415404900F95415404100F95415404600F9C0400000C0400001C0200000;
defparam ram_1024_x_18.INIT_0E = 256'hC20154EDC30103FF0218114040E5810150EA4108F0100101040000FF5415404C;
defparam ram_1024_x_18.INIT_0F = 256'hE10EE00DA000400250F92001400140F840E48401C00150F8400054EBC10154EC;
defparam ram_1024_x_18.INIT_10 = 256'h020051006005020051006006020051006007020051006008E10081016100E20F;
defparam ram_1024_x_18.INIT_11 = 256'h620F610E600DC280020051006001020051006002020051006003020051006004;
defparam ram_1024_x_18.INIT_12 = 256'h0000000000000000000000000000000000000000000000000000000000008001;
defparam ram_1024_x_18.INIT_13 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_14 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_15 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_16 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_17 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_18 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_19 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_1A = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_1B = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_1C = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_1D = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_1E = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_1F = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_20 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_21 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_22 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_23 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_24 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_25 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_26 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_27 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_28 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_29 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_2A = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_2B = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_2C = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_2D = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_2E = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_2F = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_30 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_31 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_32 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_33 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_34 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_35 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_36 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_37 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_38 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_39 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_3A = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_3B = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_3C = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_3D = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_3E = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INIT_3F = 256'h40FE000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INITP_00 = 256'hD35DD2ED34D774BB4D35DD2ED34D774BB4D35DD334BB4D774DDD034AAA88F760;
defparam ram_1024_x_18.INITP_01 = 256'hA8D3D777740DD80DF7DF78888D3DF7DF78888E93E924EED35DD2ED35DD334BB4;
defparam ram_1024_x_18.INITP_02 = 256'h0000000000000000000000000000000000000000000000030292492492492492;
defparam ram_1024_x_18.INITP_03 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INITP_04 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INITP_05 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INITP_06 = 256'h0000000000000000000000000000000000000000000000000000000000000000;
defparam ram_1024_x_18.INITP_07 = 256'hC000000000000000000000000000000000000000000000000000000000000000;
// synthesis translate_on
// synthesis attribute INIT_00 of ram_1024_x_18 is "E015E014E013E012E0110000E0100001C0014002810150074108F01001010000"
// synthesis attribute INIT_01 of ram_1024_x_18 is "400060105C16C2015C17C1015C18C00100FF01FF020358B68F010F00E017E016"
// synthesis attribute INIT_02 of ram_1024_x_18 is "00045431410B6110E10100A8E0105024410461114029800180205029C0205026"
// synthesis attribute INIT_03 of ram_1024_x_18 is "E0115037410461125037410B6110403F80018010503FC010503940006011403F"
// synthesis attribute INIT_04 of ram_1024_x_18 is "5048410461135048410461114050800180105050C010504A40006012E10200A8"
// synthesis attribute INIT_05 of ram_1024_x_18 is "410461145059410461124061800180105061C010505B40006013E10300A8E012"
// synthesis attribute INIT_06 of ram_1024_x_18 is "6115506A410461134072800180105072C010506C40006014E10400A8E0135059"
// synthesis attribute INIT_07 of ram_1024_x_18 is "507B410461144083800180105083C010507D40006015E10500A8E014506A4104"
// synthesis attribute INIT_08 of ram_1024_x_18 is "5096C01050934000601640960004548B410B6117E10600A8E015507B41046116"
// synthesis attribute INIT_09 of ram_1024_x_18 is "8001802050A4C02050A140006017E10700A8E016509141046115409680018010"
// synthesis attribute INIT_0A of ram_1024_x_18 is "58B10106B000C0010101B000400001004013E10800A8E017509F4104611640A4"
// synthesis attribute INIT_0B of ram_1024_x_18 is "405000F9C0400000C0400001C0200000C020000140B2010EB000C001014040AC"
// synthesis attribute INIT_0C of ram_1024_x_18 is "C020000154CCC00100FF401554CB405300F954CB405300F954CB404100F954CB"
// synthesis attribute INIT_0D of ram_1024_x_18 is "00F95415404900F95415404100F95415404600F9C0400000C0400001C0200000"
// synthesis attribute INIT_0E of ram_1024_x_18 is "C20154EDC30103FF0218114040E5810150EA4108F0100101040000FF5415404C"
// synthesis attribute INIT_0F of ram_1024_x_18 is "E10EE00DA000400250F92001400140F840E48401C00150F8400054EBC10154EC"
// synthesis attribute INIT_10 of ram_1024_x_18 is "020051006005020051006006020051006007020051006008E10081016100E20F"
// synthesis attribute INIT_11 of ram_1024_x_18 is "620F610E600DC280020051006001020051006002020051006003020051006004"
// synthesis attribute INIT_12 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000008001"
// synthesis attribute INIT_13 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_14 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_15 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_16 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_17 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_18 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_19 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_1A of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_1B of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_1C of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_1D of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_1E of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_1F of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_20 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_21 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_22 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_23 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_24 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_25 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_26 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_27 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_28 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_29 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_2A of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_2B of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_2C of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_2D of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_2E of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_2F of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_30 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_31 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_32 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_33 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_34 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_35 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_36 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_37 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_38 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_39 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_3A of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_3B of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_3C of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_3D of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_3E of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INIT_3F of ram_1024_x_18 is "40FE000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INITP_00 of ram_1024_x_18 is "D35DD2ED34D774BB4D35DD2ED34D774BB4D35DD334BB4D774DDD034AAA88F760"
// synthesis attribute INITP_01 of ram_1024_x_18 is "A8D3D777740DD80DF7DF78888D3DF7DF78888E93E924EED35DD2ED35DD334BB4"
// synthesis attribute INITP_02 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000030292492492492492"
// synthesis attribute INITP_03 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INITP_04 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INITP_05 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INITP_06 of ram_1024_x_18 is "0000000000000000000000000000000000000000000000000000000000000000"
// synthesis attribute INITP_07 of ram_1024_x_18 is "C000000000000000000000000000000000000000000000000000000000000000"
endmodule