mirror of
https://github.com/garrettsworkshop/GR8RAM.git
synced 2024-12-13 15:30:05 +00:00
269 lines
11 KiB
Coq
269 lines
11 KiB
Coq
|
// megafunction wizard: %ALTUFM_NONE%
|
||
|
|
// GENERATION: STANDARD
|
||
|
|
// VERSION: WM1.0
|
||
|
|
// MODULE: ALTUFM_NONE
|
||
|
|
|
||
|
|
// ============================================================
|
||
|
|
// File Name: UFM.v
|
||
|
|
// Megafunction Name(s):
|
||
|
|
// ALTUFM_NONE
|
||
|
|
//
|
||
|
|
// Simulation Library Files(s):
|
||
|
|
// maxii
|
||
|
|
// ============================================================
|
||
|
|
// ************************************************************
|
||
|
|
// THIS IS A WIZARD-GENERATED FILE. DO NOT EDIT THIS FILE!
|
||
|
|
//
|
||
|
|
// 13.0.1 Build 232 06/12/2013 SP 1 SJ Web Edition
|
||
|
|
// ************************************************************
|
||
|
|
|
||
|
|
|
||
|
|
//Copyright (C) 1991-2013 Altera Corporation
|
||
|
|
//Your use of Altera Corporation's design tools, logic functions
|
||
|
|
//and other software and tools, and its AMPP 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 Altera Program License
|
||
|
|
//Subscription Agreement, Altera MegaCore Function License
|
||
|
|
//Agreement, or other applicable license agreement, including,
|
||
|
|
//without limitation, that your use is for the sole purpose of
|
||
|
|
//programming logic devices manufactured by Altera and sold by
|
||
|
|
//Altera or its authorized distributors. Please refer to the
|
||
|
|
//applicable agreement for further details.
|
||
|
|
|
||
|
|
|
||
|
|
//altufm_none CBX_AUTO_BLACKBOX="ALL" DEVICE_FAMILY="MAX II" ERASE_TIME=500000000 OSC_FREQUENCY=180000 PORT_ARCLKENA="PORT_UNUSED" PORT_DRCLKENA="PORT_UNUSED" PROGRAM_TIME=1600000 WIDTH_UFM_ADDRESS=9 arclk ardin arshft busy drclk drdin drdout drshft erase osc oscena program rtpbusy
|
||
|
|
//VERSION_BEGIN 13.0 cbx_a_gray2bin 2013:06:12:18:03:39:SJ cbx_a_graycounter 2013:06:12:18:03:39:SJ cbx_altufm_none 2013:06:12:18:03:40:SJ cbx_cycloneii 2013:06:12:18:03:40:SJ cbx_lpm_add_sub 2013:06:12:18:03:40:SJ cbx_lpm_compare 2013:06:12:18:03:40:SJ cbx_lpm_counter 2013:06:12:18:03:40:SJ cbx_lpm_decode 2013:06:12:18:03:40:SJ cbx_lpm_mux 2013:06:12:18:03:40:SJ cbx_maxii 2013:06:12:18:03:40:SJ cbx_mgl 2013:06:12:18:04:42:SJ cbx_stratix 2013:06:12:18:03:40:SJ cbx_stratixii 2013:06:12:18:03:40:SJ cbx_util_mgl 2013:06:12:18:03:40:SJ VERSION_END
|
||
|
|
// synthesis VERILOG_INPUT_VERSION VERILOG_2001
|
||
|
|
// altera message_off 10463
|
||
|
|
|
||
|
|
|
||
|
|
//synthesis_resources = maxii_ufm 1
|
||
|
|
//synopsys translate_off
|
||
|
|
`timescale 1 ps / 1 ps
|
||
|
|
//synopsys translate_on
|
||
|
|
module UFM_altufm_none_0ep
|
||
|
|
(
|
||
|
|
arclk,
|
||
|
|
ardin,
|
||
|
|
arshft,
|
||
|
|
busy,
|
||
|
|
drclk,
|
||
|
|
drdin,
|
||
|
|
drdout,
|
||
|
|
drshft,
|
||
|
|
erase,
|
||
|
|
osc,
|
||
|
|
oscena,
|
||
|
|
program,
|
||
|
|
rtpbusy) ;
|
||
|
|
input arclk;
|
||
|
|
input ardin;
|
||
|
|
input arshft;
|
||
|
|
output busy;
|
||
|
|
input drclk;
|
||
|
|
input drdin;
|
||
|
|
output drdout;
|
||
|
|
input drshft;
|
||
|
|
input erase;
|
||
|
|
output osc;
|
||
|
|
input oscena;
|
||
|
|
input program;
|
||
|
|
output rtpbusy;
|
||
|
|
|
||
|
|
wire wire_maxii_ufm_block1_bgpbusy;
|
||
|
|
wire wire_maxii_ufm_block1_busy;
|
||
|
|
wire wire_maxii_ufm_block1_drdout;
|
||
|
|
wire wire_maxii_ufm_block1_osc;
|
||
|
|
wire ufm_arclk;
|
||
|
|
wire ufm_ardin;
|
||
|
|
wire ufm_arshft;
|
||
|
|
wire ufm_bgpbusy;
|
||
|
|
wire ufm_busy;
|
||
|
|
wire ufm_drclk;
|
||
|
|
wire ufm_drdin;
|
||
|
|
wire ufm_drdout;
|
||
|
|
wire ufm_drshft;
|
||
|
|
wire ufm_erase;
|
||
|
|
wire ufm_osc;
|
||
|
|
wire ufm_oscena;
|
||
|
|
wire ufm_program;
|
||
|
|
|
||
|
|
maxii_ufm maxii_ufm_block1
|
||
|
|
(
|
||
|
|
.arclk(ufm_arclk),
|
||
|
|
.ardin(ufm_ardin),
|
||
|
|
.arshft(ufm_arshft),
|
||
|
|
.bgpbusy(wire_maxii_ufm_block1_bgpbusy),
|
||
|
|
.busy(wire_maxii_ufm_block1_busy),
|
||
|
|
.drclk(ufm_drclk),
|
||
|
|
.drdin(ufm_drdin),
|
||
|
|
.drdout(wire_maxii_ufm_block1_drdout),
|
||
|
|
.drshft(ufm_drshft),
|
||
|
|
.erase(ufm_erase),
|
||
|
|
.osc(wire_maxii_ufm_block1_osc),
|
||
|
|
.oscena(ufm_oscena),
|
||
|
|
.program(ufm_program)
|
||
|
|
// synopsys translate_off
|
||
|
|
,
|
||
|
|
.ctrl_bgpbusy(1'b0),
|
||
|
|
.devclrn(1'b1),
|
||
|
|
.devpor(1'b1),
|
||
|
|
.sbdin(1'b0),
|
||
|
|
.sbdout()
|
||
|
|
// synopsys translate_on
|
||
|
|
);
|
||
|
|
defparam
|
||
|
|
maxii_ufm_block1.address_width = 9,
|
||
|
|
maxii_ufm_block1.erase_time = 500000000,
|
||
|
|
maxii_ufm_block1.init_file = "none",
|
||
|
|
maxii_ufm_block1.mem1 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem10 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem11 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem12 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem13 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem14 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem15 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem16 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem2 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem3 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem4 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem5 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem6 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem7 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem8 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.mem9 = 512'hFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,
|
||
|
|
maxii_ufm_block1.osc_sim_setting = 180000,
|
||
|
|
maxii_ufm_block1.program_time = 1600000,
|
||
|
|
maxii_ufm_block1.lpm_type = "maxii_ufm";
|
||
|
|
assign
|
||
|
|
busy = ufm_busy,
|
||
|
|
drdout = ufm_drdout,
|
||
|
|
osc = ufm_osc,
|
||
|
|
rtpbusy = ufm_bgpbusy,
|
||
|
|
ufm_arclk = arclk,
|
||
|
|
ufm_ardin = ardin,
|
||
|
|
ufm_arshft = arshft,
|
||
|
|
ufm_bgpbusy = wire_maxii_ufm_block1_bgpbusy,
|
||
|
|
ufm_busy = wire_maxii_ufm_block1_busy,
|
||
|
|
ufm_drclk = drclk,
|
||
|
|
ufm_drdin = drdin,
|
||
|
|
ufm_drdout = wire_maxii_ufm_block1_drdout,
|
||
|
|
ufm_drshft = drshft,
|
||
|
|
ufm_erase = erase,
|
||
|
|
ufm_osc = wire_maxii_ufm_block1_osc,
|
||
|
|
ufm_oscena = oscena,
|
||
|
|
ufm_program = program;
|
||
|
|
endmodule //UFM_altufm_none_0ep
|
||
|
|
//VALID FILE
|
||
|
|
|
||
|
|
|
||
|
|
// synopsys translate_off
|
||
|
|
`timescale 1 ps / 1 ps
|
||
|
|
// synopsys translate_on
|
||
|
|
module UFM (
|
||
|
|
arclk,
|
||
|
|
ardin,
|
||
|
|
arshft,
|
||
|
|
drclk,
|
||
|
|
drdin,
|
||
|
|
drshft,
|
||
|
|
erase,
|
||
|
|
oscena,
|
||
|
|
program,
|
||
|
|
busy,
|
||
|
|
drdout,
|
||
|
|
osc,
|
||
|
|
rtpbusy);
|
||
|
|
|
||
|
|
input arclk;
|
||
|
|
input ardin;
|
||
|
|
input arshft;
|
||
|
|
input drclk;
|
||
|
|
input drdin;
|
||
|
|
input drshft;
|
||
|
|
input erase;
|
||
|
|
input oscena;
|
||
|
|
input program;
|
||
|
|
output busy;
|
||
|
|
output drdout;
|
||
|
|
output osc;
|
||
|
|
output rtpbusy;
|
||
|
|
|
||
|
|
wire sub_wire0;
|
||
|
|
wire sub_wire1;
|
||
|
|
wire sub_wire2;
|
||
|
|
wire sub_wire3;
|
||
|
|
wire osc = sub_wire0;
|
||
|
|
wire rtpbusy = sub_wire1;
|
||
|
|
wire drdout = sub_wire2;
|
||
|
|
wire busy = sub_wire3;
|
||
|
|
|
||
|
|
UFM_altufm_none_0ep UFM_altufm_none_0ep_component (
|
||
|
|
.arshft (arshft),
|
||
|
|
.drclk (drclk),
|
||
|
|
.erase (erase),
|
||
|
|
.program (program),
|
||
|
|
.arclk (arclk),
|
||
|
|
.drdin (drdin),
|
||
|
|
.oscena (oscena),
|
||
|
|
.ardin (ardin),
|
||
|
|
.drshft (drshft),
|
||
|
|
.osc (sub_wire0),
|
||
|
|
.rtpbusy (sub_wire1),
|
||
|
|
.drdout (sub_wire2),
|
||
|
|
.busy (sub_wire3));
|
||
|
|
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
// ============================================================
|
||
|
|
// CNX file retrieval info
|
||
|
|
// ============================================================
|
||
|
|
// Retrieval info: LIBRARY: altera_mf altera_mf.altera_mf_components.all
|
||
|
|
// Retrieval info: PRIVATE: INTENDED_DEVICE_FAMILY STRING "MAX II"
|
||
|
|
// Retrieval info: CONSTANT: ERASE_TIME NUMERIC "500000000"
|
||
|
|
// Retrieval info: CONSTANT: INTENDED_DEVICE_FAMILY STRING "MAX II"
|
||
|
|
// Retrieval info: CONSTANT: LPM_FILE STRING "UNUSED"
|
||
|
|
// Retrieval info: CONSTANT: LPM_HINT STRING "UNUSED"
|
||
|
|
// Retrieval info: CONSTANT: LPM_TYPE STRING "altufm_none"
|
||
|
|
// Retrieval info: CONSTANT: OSC_FREQUENCY NUMERIC "180000"
|
||
|
|
// Retrieval info: CONSTANT: PORT_ARCLKENA STRING "PORT_UNUSED"
|
||
|
|
// Retrieval info: CONSTANT: PORT_DRCLKENA STRING "PORT_UNUSED"
|
||
|
|
// Retrieval info: CONSTANT: PROGRAM_TIME NUMERIC "1600000"
|
||
|
|
// Retrieval info: CONSTANT: WIDTH_UFM_ADDRESS NUMERIC "9"
|
||
|
|
// Retrieval info: USED_PORT: arclk 0 0 0 0 INPUT NODEFVAL "arclk"
|
||
|
|
// Retrieval info: CONNECT: @arclk 0 0 0 0 arclk 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: ardin 0 0 0 0 INPUT NODEFVAL "ardin"
|
||
|
|
// Retrieval info: CONNECT: @ardin 0 0 0 0 ardin 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: arshft 0 0 0 0 INPUT NODEFVAL "arshft"
|
||
|
|
// Retrieval info: CONNECT: @arshft 0 0 0 0 arshft 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: busy 0 0 0 0 OUTPUT NODEFVAL "busy"
|
||
|
|
// Retrieval info: CONNECT: busy 0 0 0 0 @busy 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: drclk 0 0 0 0 INPUT NODEFVAL "drclk"
|
||
|
|
// Retrieval info: CONNECT: @drclk 0 0 0 0 drclk 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: drdin 0 0 0 0 INPUT NODEFVAL "drdin"
|
||
|
|
// Retrieval info: CONNECT: @drdin 0 0 0 0 drdin 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: drdout 0 0 0 0 OUTPUT NODEFVAL "drdout"
|
||
|
|
// Retrieval info: CONNECT: drdout 0 0 0 0 @drdout 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: drshft 0 0 0 0 INPUT NODEFVAL "drshft"
|
||
|
|
// Retrieval info: CONNECT: @drshft 0 0 0 0 drshft 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: erase 0 0 0 0 INPUT NODEFVAL "erase"
|
||
|
|
// Retrieval info: CONNECT: @erase 0 0 0 0 erase 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: osc 0 0 0 0 OUTPUT NODEFVAL "osc"
|
||
|
|
// Retrieval info: CONNECT: osc 0 0 0 0 @osc 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: oscena 0 0 0 0 INPUT NODEFVAL "oscena"
|
||
|
|
// Retrieval info: CONNECT: @oscena 0 0 0 0 oscena 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: program 0 0 0 0 INPUT NODEFVAL "program"
|
||
|
|
// Retrieval info: CONNECT: @program 0 0 0 0 program 0 0 0 0
|
||
|
|
// Retrieval info: USED_PORT: rtpbusy 0 0 0 0 OUTPUT NODEFVAL "rtpbusy"
|
||
|
|
// Retrieval info: CONNECT: rtpbusy 0 0 0 0 @rtpbusy 0 0 0 0
|
||
|
|
// Retrieval info: GEN_FILE: TYPE_NORMAL UFM.v TRUE FALSE
|
||
|
|
// Retrieval info: GEN_FILE: TYPE_NORMAL UFM.qip TRUE FALSE
|
||
|
|
// Retrieval info: GEN_FILE: TYPE_NORMAL UFM.bsf FALSE TRUE
|
||
|
|
// Retrieval info: GEN_FILE: TYPE_NORMAL UFM_inst.v FALSE TRUE
|
||
|
|
// Retrieval info: GEN_FILE: TYPE_NORMAL UFM_bb.v FALSE TRUE
|
||
|
|
// Retrieval info: GEN_FILE: TYPE_NORMAL UFM.inc FALSE TRUE
|
||
|
|
// Retrieval info: GEN_FILE: TYPE_NORMAL UFM.cmp FALSE TRUE
|
||
|
|
// Retrieval info: LIB_FILE: maxii
|