mirror of
https://github.com/aolofsson/oh.git
synced 2025-02-07 06:44:09 +08:00
69 lines
1.6 KiB
Coq
69 lines
1.6 KiB
Coq
|
module pulse2pulse(/*AUTOARG*/
|
||
|
|
// Outputs
|
||
|
|
out,
|
||
|
|
// Inputs
|
||
|
|
inclk, outclk, in, reset
|
||
|
|
);
|
||
|
|
|
||
|
|
input in; //input pulse (one clock cycle)
|
||
|
|
input inclk; //input clock
|
||
|
|
output out; //one cycle wide pulse
|
||
|
|
input outclk;
|
||
|
|
|
||
|
|
|
||
|
|
//reset
|
||
|
|
input reset;
|
||
|
|
|
||
|
|
wire intoggle;
|
||
|
|
wire insync;
|
||
|
|
|
||
|
|
|
||
|
|
//pulse to toggle
|
||
|
|
pulse2toggle pulse2toggle(
|
||
|
|
// Outputs
|
||
|
|
.out (intoggle),
|
||
|
|
// Inputs
|
||
|
|
.clk (inclk),
|
||
|
|
.in (in),
|
||
|
|
.reset (reset));
|
||
|
|
|
||
|
|
//metastability synchronizer
|
||
|
|
synchronizer #(1) synchronizer(
|
||
|
|
// Outputs
|
||
|
|
.out (insync),
|
||
|
|
// Inputs
|
||
|
|
.in (intoggle),
|
||
|
|
.clk (outclk),
|
||
|
|
.reset (reset));
|
||
|
|
|
||
|
|
|
||
|
|
//toogle to pulse
|
||
|
|
toggle2pulse toggle2pulse(
|
||
|
|
// Outputs
|
||
|
|
.out (out),
|
||
|
|
// Inputs
|
||
|
|
.clk (outclk),
|
||
|
|
.in (insync),
|
||
|
|
.reset (reset));
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
endmodule // pulse2pulse
|
||
|
|
|
||
|
|
|
||
|
|
/*
|
||
|
|
Copyright (C) 2015 Adapteva, Inc.
|
||
|
|
Contributed by Andreas Olofsson <andreas@adapteva.com>
|
||
|
|
|
||
|
|
This program is free software: you can redistribute it and/or modify
|
||
|
|
it under the terms of the GNU General Public License as published by
|
||
|
|
the Free Software Foundation, either version 3 of the License, or
|
||
|
|
(at your option) any later version.This program 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 along with this program (see the file
|
||
|
|
COPYING). If not, see <http://www.gnu.org/licenses/>.
|
||
|
|
*/
|
||
|
|
|