87 lines
3.1 KiB
Coq
87 lines
3.1 KiB
Coq
|
//
|
||
|
|
// The ADI JESD204 Core is released under the following license, which is
|
||
|
|
// different than all other HDL cores in this repository.
|
||
|
|
//
|
||
|
|
// Please read this, and understand the freedoms and responsibilities you have
|
||
|
|
// by using this source code/core.
|
||
|
|
//
|
||
|
|
// The JESD204 HDL, is copyright © 2016-2017 Analog Devices Inc.
|
||
|
|
//
|
||
|
|
// This core is free software, you can use run, copy, study, change, ask
|
||
|
|
// questions about and improve this core. Distribution of source, or resulting
|
||
|
|
// binaries (including those inside an FPGA or ASIC) require you to release the
|
||
|
|
// source of the entire project (excluding the system libraries provide by the
|
||
|
|
// tools/compiler/FPGA vendor). These are the terms of the GNU General Public
|
||
|
|
// License version 2 as published by the Free Software Foundation.
|
||
|
|
//
|
||
|
|
// This core is distributed in the hope that it will be useful, but WITHOUT ANY
|
||
|
|
// WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
|
||
|
|
// A PARTICULAR PURPOSE. See the GNU General Public License for more details.
|
||
|
|
//
|
||
|
|
// You should have received a copy of the GNU General Public License version 2
|
||
|
|
// along with this source code, and binary. If not, see
|
||
|
|
// <http://www.gnu.org/licenses/>.
|
||
|
|
//
|
||
|
|
// Commercial licenses (with commercial support) of this JESD204 core are also
|
||
|
|
// available under terms different than the General Public License. (e.g. they
|
||
|
|
// do not require you to accompany any image (FPGA or ASIC) using the JESD204
|
||
|
|
// core with any corresponding source code.) For these alternate terms you must
|
||
|
|
// purchase a license from Analog Devices Technology Licensing Office. Users
|
||
|
|
// interested in such a license should contact jesd204-licensing@analog.com for
|
||
|
|
// more information. This commercial license is sub-licensable (if you purchase
|
||
|
|
// chips from Analog Devices, incorporate them into your PCB level product, and
|
||
|
|
// purchase a JESD204 license, end users of your product will also have a
|
||
|
|
// license to use this core in a commercial setting without releasing their
|
||
|
|
// source code).
|
||
|
|
//
|
||
|
|
// In addition, we kindly ask you to acknowledge ADI in any program, application
|
||
|
|
// or publication in which you use this JESD204 HDL core. (You are not required
|
||
|
|
// to do so; it is up to your common sense to decide whether you want to comply
|
||
|
|
// with this request or not.) For general publications, we suggest referencing :
|
||
|
|
// “The design and implementation of the JESD204 HDL Core used in this project
|
||
|
|
// is copyright © 2016-2017, Analog Devices, Inc.”
|
||
|
|
//
|
||
|
|
|
||
|
|
reg clk = 1'b0;
|
||
|
|
reg [3:0] reset_shift = 4'b1111;
|
||
|
|
reg trigger_reset = 1'b0;
|
||
|
|
wire reset;
|
||
|
|
|
||
|
|
reg failed = 1'b0;
|
||
|
|
|
||
|
|
initial
|
||
|
|
begin
|
||
|
|
$dumpfile (VCD_FILE);
|
||
|
|
$dumpvars;
|
||
|
|
`ifdef TIMEOUT
|
||
|
|
#`TIMEOUT
|
||
|
|
`else
|
||
|
|
#100000
|
||
|
|
`endif
|
||
|
|
if (failed == 1'b0)
|
||
|
|
$display("SUCCESS");
|
||
|
|
else
|
||
|
|
$display("FAILED");
|
||
|
|
$finish;
|
||
|
|
end
|
||
|
|
|
||
|
|
always @(*) #10 clk <= ~clk;
|
||
|
|
always @(posedge clk) begin
|
||
|
|
if (trigger_reset == 1'b1) begin
|
||
|
|
reset_shift <= 3'b111;
|
||
|
|
end else begin
|
||
|
|
reset_shift <= {reset_shift[2:0],1'b0};
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|
||
|
|
assign reset = reset_shift[3];
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
task do_trigger_reset;
|
||
|
|
begin
|
||
|
|
@(posedge clk) trigger_reset <= 1'b1;
|
||
|
|
@(posedge clk) trigger_reset <= 1'b0;
|
||
|
|
end
|
||
|
|
endtask
|