mirror of
https://github.com/supleed2/ELEC40006-P1-CW.git
synced 2024-11-10 02:05:48 +00:00
163 lines
7.6 KiB
Coq
163 lines
7.6 KiB
Coq
|
// megafunction wizard: %ROM: 2-PORT%VBB%
|
||
|
// GENERATION: STANDARD
|
||
|
// VERSION: WM1.0
|
||
|
// MODULE: altsyncram
|
||
|
|
||
|
// ============================================================
|
||
|
// File Name: LUT.v
|
||
|
// Megafunction Name(s):
|
||
|
// altsyncram
|
||
|
//
|
||
|
// Simulation Library Files(s):
|
||
|
// altera_mf
|
||
|
// ============================================================
|
||
|
// ************************************************************
|
||
|
// THIS IS A WIZARD-GENERATED FILE. DO NOT EDIT THIS FILE!
|
||
|
//
|
||
|
// 19.1.0 Build 670 09/22/2019 SJ Lite Edition
|
||
|
// ************************************************************
|
||
|
|
||
|
//Copyright (C) 2019 Intel Corporation. All rights reserved.
|
||
|
//Your use of Intel Corporation's design tools, logic functions
|
||
|
//and other software and tools, and any partner logic
|
||
|
//functions, and any output files from any of the foregoing
|
||
|
//(including device programming or simulation files), and any
|
||
|
//associated documentation or information are expressly subject
|
||
|
//to the terms and conditions of the Intel Program License
|
||
|
//Subscription Agreement, the Intel Quartus Prime License Agreement,
|
||
|
//the Intel FPGA IP License Agreement, or other applicable license
|
||
|
//agreement, including, without limitation, that your use is for
|
||
|
//the sole purpose of programming logic devices manufactured by
|
||
|
//Intel and sold by Intel or its authorized distributors. Please
|
||
|
//refer to the applicable agreement for further details, at
|
||
|
//https://fpgasoftware.intel.com/eula.
|
||
|
|
||
|
module LUT (
|
||
|
address_a,
|
||
|
address_b,
|
||
|
clock,
|
||
|
q_a,
|
||
|
q_b);
|
||
|
|
||
|
input [7:0] address_a;
|
||
|
input [7:0] address_b;
|
||
|
input clock;
|
||
|
output [15:0] q_a;
|
||
|
output [15:0] q_b;
|
||
|
`ifndef ALTERA_RESERVED_QIS
|
||
|
// synopsys translate_off
|
||
|
`endif
|
||
|
tri1 clock;
|
||
|
`ifndef ALTERA_RESERVED_QIS
|
||
|
// synopsys translate_on
|
||
|
`endif
|
||
|
|
||
|
endmodule
|
||
|
|
||
|
// ============================================================
|
||
|
// CNX file retrieval info
|
||
|
// ============================================================
|
||
|
// Retrieval info: PRIVATE: ADDRESSSTALL_A NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: ADDRESSSTALL_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: BYTEENA_ACLR_A NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: BYTEENA_ACLR_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: BYTE_ENABLE_A NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: BYTE_ENABLE_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: BYTE_SIZE NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: BlankMemory NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLOCK_ENABLE_INPUT_A NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLOCK_ENABLE_INPUT_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLOCK_ENABLE_OUTPUT_A NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLOCK_ENABLE_OUTPUT_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLRdata NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLRq NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLRrdaddress NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLRrren NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLRwraddress NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: CLRwren NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: Clock NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: Clock_A NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: Clock_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: IMPLEMENT_IN_LES NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: INDATA_ACLR_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: INDATA_REG_B NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: INIT_FILE_LAYOUT STRING "PORT_A"
|
||
|
// Retrieval info: PRIVATE: INIT_TO_SIM_X NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: INTENDED_DEVICE_FAMILY STRING "Cyclone IV E"
|
||
|
// Retrieval info: PRIVATE: JTAG_ENABLED NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: JTAG_ID STRING "NONE"
|
||
|
// Retrieval info: PRIVATE: MAXIMUM_DEPTH NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: MEMSIZE NUMERIC "4096"
|
||
|
// Retrieval info: PRIVATE: MEM_IN_BITS NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: MIFfilename STRING "LUTSquares.mif"
|
||
|
// Retrieval info: PRIVATE: OPERATION_MODE NUMERIC "3"
|
||
|
// Retrieval info: PRIVATE: OUTDATA_ACLR_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: OUTDATA_REG_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: RAM_BLOCK_TYPE NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: READ_DURING_WRITE_MODE_MIXED_PORTS NUMERIC "2"
|
||
|
// Retrieval info: PRIVATE: REGdata NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: REGq NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: REGrdaddress NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: REGrren NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: REGwraddress NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: REGwren NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: SYNTH_WRAPPER_GEN_POSTFIX STRING "0"
|
||
|
// Retrieval info: PRIVATE: USE_DIFF_CLKEN NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: UseDPRAM NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: VarWidth NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: WIDTH_READ_A NUMERIC "16"
|
||
|
// Retrieval info: PRIVATE: WIDTH_READ_B NUMERIC "16"
|
||
|
// Retrieval info: PRIVATE: WIDTH_WRITE_A NUMERIC "16"
|
||
|
// Retrieval info: PRIVATE: WIDTH_WRITE_B NUMERIC "16"
|
||
|
// Retrieval info: PRIVATE: WRADDR_ACLR_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: WRADDR_REG_B NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: WRCTRL_ACLR_B NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: enable NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: rden NUMERIC "0"
|
||
|
// Retrieval info: LIBRARY: altera_mf altera_mf.altera_mf_components.all
|
||
|
// Retrieval info: CONSTANT: ADDRESS_REG_B STRING "CLOCK0"
|
||
|
// Retrieval info: CONSTANT: CLOCK_ENABLE_INPUT_A STRING "BYPASS"
|
||
|
// Retrieval info: CONSTANT: CLOCK_ENABLE_INPUT_B STRING "BYPASS"
|
||
|
// Retrieval info: CONSTANT: CLOCK_ENABLE_OUTPUT_A STRING "BYPASS"
|
||
|
// Retrieval info: CONSTANT: CLOCK_ENABLE_OUTPUT_B STRING "BYPASS"
|
||
|
// Retrieval info: CONSTANT: INDATA_REG_B STRING "CLOCK0"
|
||
|
// Retrieval info: CONSTANT: INIT_FILE STRING "LUTSquares.mif"
|
||
|
// Retrieval info: CONSTANT: INTENDED_DEVICE_FAMILY STRING "Cyclone IV E"
|
||
|
// Retrieval info: CONSTANT: LPM_TYPE STRING "altsyncram"
|
||
|
// Retrieval info: CONSTANT: NUMWORDS_A NUMERIC "256"
|
||
|
// Retrieval info: CONSTANT: NUMWORDS_B NUMERIC "256"
|
||
|
// Retrieval info: CONSTANT: OPERATION_MODE STRING "BIDIR_DUAL_PORT"
|
||
|
// Retrieval info: CONSTANT: OUTDATA_ACLR_A STRING "NONE"
|
||
|
// Retrieval info: CONSTANT: OUTDATA_ACLR_B STRING "NONE"
|
||
|
// Retrieval info: CONSTANT: OUTDATA_REG_A STRING "UNREGISTERED"
|
||
|
// Retrieval info: CONSTANT: OUTDATA_REG_B STRING "UNREGISTERED"
|
||
|
// Retrieval info: CONSTANT: POWER_UP_UNINITIALIZED STRING "FALSE"
|
||
|
// Retrieval info: CONSTANT: WIDTHAD_A NUMERIC "8"
|
||
|
// Retrieval info: CONSTANT: WIDTHAD_B NUMERIC "8"
|
||
|
// Retrieval info: CONSTANT: WIDTH_A NUMERIC "16"
|
||
|
// Retrieval info: CONSTANT: WIDTH_B NUMERIC "16"
|
||
|
// Retrieval info: CONSTANT: WIDTH_BYTEENA_A NUMERIC "1"
|
||
|
// Retrieval info: CONSTANT: WIDTH_BYTEENA_B NUMERIC "1"
|
||
|
// Retrieval info: CONSTANT: WRCONTROL_WRADDRESS_REG_B STRING "CLOCK0"
|
||
|
// Retrieval info: USED_PORT: address_a 0 0 8 0 INPUT NODEFVAL "address_a[7..0]"
|
||
|
// Retrieval info: USED_PORT: address_b 0 0 8 0 INPUT NODEFVAL "address_b[7..0]"
|
||
|
// Retrieval info: USED_PORT: clock 0 0 0 0 INPUT VCC "clock"
|
||
|
// Retrieval info: USED_PORT: q_a 0 0 16 0 OUTPUT NODEFVAL "q_a[15..0]"
|
||
|
// Retrieval info: USED_PORT: q_b 0 0 16 0 OUTPUT NODEFVAL "q_b[15..0]"
|
||
|
// Retrieval info: CONNECT: @address_a 0 0 8 0 address_a 0 0 8 0
|
||
|
// Retrieval info: CONNECT: @address_b 0 0 8 0 address_b 0 0 8 0
|
||
|
// Retrieval info: CONNECT: @clock0 0 0 0 0 clock 0 0 0 0
|
||
|
// Retrieval info: CONNECT: @data_a 0 0 16 0 GND 0 0 16 0
|
||
|
// Retrieval info: CONNECT: @data_b 0 0 16 0 GND 0 0 16 0
|
||
|
// Retrieval info: CONNECT: @wren_a 0 0 0 0 GND 0 0 0 0
|
||
|
// Retrieval info: CONNECT: @wren_b 0 0 0 0 GND 0 0 0 0
|
||
|
// Retrieval info: CONNECT: q_a 0 0 16 0 @q_a 0 0 16 0
|
||
|
// Retrieval info: CONNECT: q_b 0 0 16 0 @q_b 0 0 16 0
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL LUT.v TRUE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL LUT.inc FALSE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL LUT.cmp FALSE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL LUT.bsf TRUE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL LUT_inst.v FALSE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL LUT_bb.v TRUE
|
||
|
// Retrieval info: LIB_FILE: altera_mf
|