mirror of
https://github.com/Polprzewodnikowy/SummerCart64.git
synced 2024-11-29 08:44:15 +01:00
184 lines
7.2 KiB
Coq
184 lines
7.2 KiB
Coq
|
// megafunction wizard: %FIFO%
|
||
|
// GENERATION: STANDARD
|
||
|
// VERSION: WM1.0
|
||
|
// MODULE: dcfifo
|
||
|
|
||
|
// ============================================================
|
||
|
// File Name: fifo_bus_to_pc.v
|
||
|
// Megafunction Name(s):
|
||
|
// dcfifo
|
||
|
//
|
||
|
// Simulation Library Files(s):
|
||
|
// altera_mf
|
||
|
// ============================================================
|
||
|
// ************************************************************
|
||
|
// THIS IS A WIZARD-GENERATED FILE. DO NOT EDIT THIS FILE!
|
||
|
//
|
||
|
// 20.1.0 Build 711 06/05/2020 SJ Lite Edition
|
||
|
// ************************************************************
|
||
|
|
||
|
|
||
|
//Copyright (C) 2020 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.
|
||
|
|
||
|
|
||
|
// synopsys translate_off
|
||
|
`timescale 1 ps / 1 ps
|
||
|
// synopsys translate_on
|
||
|
module fifo_bus_to_pc (
|
||
|
aclr,
|
||
|
data,
|
||
|
rdclk,
|
||
|
rdreq,
|
||
|
wrclk,
|
||
|
wrreq,
|
||
|
q,
|
||
|
rdusedw,
|
||
|
wrfull);
|
||
|
|
||
|
input aclr;
|
||
|
input [31:0] data;
|
||
|
input rdclk;
|
||
|
input rdreq;
|
||
|
input wrclk;
|
||
|
input wrreq;
|
||
|
output [31:0] q;
|
||
|
output [10:0] rdusedw;
|
||
|
output wrfull;
|
||
|
`ifndef ALTERA_RESERVED_QIS
|
||
|
// synopsys translate_off
|
||
|
`endif
|
||
|
tri0 aclr;
|
||
|
`ifndef ALTERA_RESERVED_QIS
|
||
|
// synopsys translate_on
|
||
|
`endif
|
||
|
|
||
|
wire [31:0] sub_wire0;
|
||
|
wire [10:0] sub_wire1;
|
||
|
wire sub_wire2;
|
||
|
wire [31:0] q = sub_wire0[31:0];
|
||
|
wire [10:0] rdusedw = sub_wire1[10:0];
|
||
|
wire wrfull = sub_wire2;
|
||
|
|
||
|
dcfifo dcfifo_component (
|
||
|
.aclr (aclr),
|
||
|
.data (data),
|
||
|
.rdclk (rdclk),
|
||
|
.rdreq (rdreq),
|
||
|
.wrclk (wrclk),
|
||
|
.wrreq (wrreq),
|
||
|
.q (sub_wire0),
|
||
|
.rdusedw (sub_wire1),
|
||
|
.wrfull (sub_wire2),
|
||
|
.eccstatus (),
|
||
|
.rdempty (),
|
||
|
.rdfull (),
|
||
|
.wrempty (),
|
||
|
.wrusedw ());
|
||
|
defparam
|
||
|
dcfifo_component.add_usedw_msb_bit = "ON",
|
||
|
dcfifo_component.intended_device_family = "MAX 10",
|
||
|
dcfifo_component.lpm_numwords = 1024,
|
||
|
dcfifo_component.lpm_showahead = "ON",
|
||
|
dcfifo_component.lpm_type = "dcfifo",
|
||
|
dcfifo_component.lpm_width = 32,
|
||
|
dcfifo_component.lpm_widthu = 11,
|
||
|
dcfifo_component.overflow_checking = "ON",
|
||
|
dcfifo_component.rdsync_delaypipe = 4,
|
||
|
dcfifo_component.read_aclr_synch = "OFF",
|
||
|
dcfifo_component.underflow_checking = "ON",
|
||
|
dcfifo_component.use_eab = "ON",
|
||
|
dcfifo_component.write_aclr_synch = "OFF",
|
||
|
dcfifo_component.wrsync_delaypipe = 4;
|
||
|
|
||
|
|
||
|
endmodule
|
||
|
|
||
|
// ============================================================
|
||
|
// CNX file retrieval info
|
||
|
// ============================================================
|
||
|
// Retrieval info: PRIVATE: AlmostEmpty NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: AlmostEmptyThr NUMERIC "-1"
|
||
|
// Retrieval info: PRIVATE: AlmostFull NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: AlmostFullThr NUMERIC "-1"
|
||
|
// Retrieval info: PRIVATE: CLOCKS_ARE_SYNCHRONIZED NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: Clock NUMERIC "4"
|
||
|
// Retrieval info: PRIVATE: Depth NUMERIC "1024"
|
||
|
// Retrieval info: PRIVATE: Empty NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: Full NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: INTENDED_DEVICE_FAMILY STRING "MAX 10"
|
||
|
// Retrieval info: PRIVATE: LE_BasedFIFO NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: LegacyRREQ NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: MAX_DEPTH_BY_9 NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: OVERFLOW_CHECKING NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: Optimize NUMERIC "2"
|
||
|
// Retrieval info: PRIVATE: RAM_BLOCK_TYPE NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: SYNTH_WRAPPER_GEN_POSTFIX STRING "0"
|
||
|
// Retrieval info: PRIVATE: UNDERFLOW_CHECKING NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: UsedW NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: Width NUMERIC "32"
|
||
|
// Retrieval info: PRIVATE: dc_aclr NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: diff_widths NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: msb_usedw NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: output_width NUMERIC "32"
|
||
|
// Retrieval info: PRIVATE: rsEmpty NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: rsFull NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: rsUsedW NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: sc_aclr NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: sc_sclr NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: wsEmpty NUMERIC "0"
|
||
|
// Retrieval info: PRIVATE: wsFull NUMERIC "1"
|
||
|
// Retrieval info: PRIVATE: wsUsedW NUMERIC "0"
|
||
|
// Retrieval info: LIBRARY: altera_mf altera_mf.altera_mf_components.all
|
||
|
// Retrieval info: CONSTANT: ADD_USEDW_MSB_BIT STRING "ON"
|
||
|
// Retrieval info: CONSTANT: INTENDED_DEVICE_FAMILY STRING "MAX 10"
|
||
|
// Retrieval info: CONSTANT: LPM_NUMWORDS NUMERIC "1024"
|
||
|
// Retrieval info: CONSTANT: LPM_SHOWAHEAD STRING "ON"
|
||
|
// Retrieval info: CONSTANT: LPM_TYPE STRING "dcfifo"
|
||
|
// Retrieval info: CONSTANT: LPM_WIDTH NUMERIC "32"
|
||
|
// Retrieval info: CONSTANT: LPM_WIDTHU NUMERIC "11"
|
||
|
// Retrieval info: CONSTANT: OVERFLOW_CHECKING STRING "ON"
|
||
|
// Retrieval info: CONSTANT: RDSYNC_DELAYPIPE NUMERIC "4"
|
||
|
// Retrieval info: CONSTANT: READ_ACLR_SYNCH STRING "OFF"
|
||
|
// Retrieval info: CONSTANT: UNDERFLOW_CHECKING STRING "ON"
|
||
|
// Retrieval info: CONSTANT: USE_EAB STRING "ON"
|
||
|
// Retrieval info: CONSTANT: WRITE_ACLR_SYNCH STRING "OFF"
|
||
|
// Retrieval info: CONSTANT: WRSYNC_DELAYPIPE NUMERIC "4"
|
||
|
// Retrieval info: USED_PORT: aclr 0 0 0 0 INPUT GND "aclr"
|
||
|
// Retrieval info: USED_PORT: data 0 0 32 0 INPUT NODEFVAL "data[31..0]"
|
||
|
// Retrieval info: USED_PORT: q 0 0 32 0 OUTPUT NODEFVAL "q[31..0]"
|
||
|
// Retrieval info: USED_PORT: rdclk 0 0 0 0 INPUT NODEFVAL "rdclk"
|
||
|
// Retrieval info: USED_PORT: rdreq 0 0 0 0 INPUT NODEFVAL "rdreq"
|
||
|
// Retrieval info: USED_PORT: rdusedw 0 0 11 0 OUTPUT NODEFVAL "rdusedw[10..0]"
|
||
|
// Retrieval info: USED_PORT: wrclk 0 0 0 0 INPUT NODEFVAL "wrclk"
|
||
|
// Retrieval info: USED_PORT: wrfull 0 0 0 0 OUTPUT NODEFVAL "wrfull"
|
||
|
// Retrieval info: USED_PORT: wrreq 0 0 0 0 INPUT NODEFVAL "wrreq"
|
||
|
// Retrieval info: CONNECT: @aclr 0 0 0 0 aclr 0 0 0 0
|
||
|
// Retrieval info: CONNECT: @data 0 0 32 0 data 0 0 32 0
|
||
|
// Retrieval info: CONNECT: @rdclk 0 0 0 0 rdclk 0 0 0 0
|
||
|
// Retrieval info: CONNECT: @rdreq 0 0 0 0 rdreq 0 0 0 0
|
||
|
// Retrieval info: CONNECT: @wrclk 0 0 0 0 wrclk 0 0 0 0
|
||
|
// Retrieval info: CONNECT: @wrreq 0 0 0 0 wrreq 0 0 0 0
|
||
|
// Retrieval info: CONNECT: q 0 0 32 0 @q 0 0 32 0
|
||
|
// Retrieval info: CONNECT: rdusedw 0 0 11 0 @rdusedw 0 0 11 0
|
||
|
// Retrieval info: CONNECT: wrfull 0 0 0 0 @wrfull 0 0 0 0
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL fifo_bus_to_pc.v TRUE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL fifo_bus_to_pc.inc FALSE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL fifo_bus_to_pc.cmp FALSE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL fifo_bus_to_pc.bsf FALSE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL fifo_bus_to_pc_inst.v FALSE
|
||
|
// Retrieval info: GEN_FILE: TYPE_NORMAL fifo_bus_to_pc_bb.v FALSE
|
||
|
// Retrieval info: LIB_FILE: altera_mf
|