1 |
d93979b7
|
Arnaud Dieumegard
|
-------------------------------------------------------------------------------------------------
|
2 |
|
|
-- Company : CNES
|
3 |
|
|
-- Author : Mickael Carl (CNES)
|
4 |
|
|
-- Copyright : Copyright (c) CNES.
|
5 |
|
|
-- Licensing : GNU GPLv3
|
6 |
|
|
-------------------------------------------------------------------------------------------------
|
7 |
|
|
-- Version : V1
|
8 |
|
|
-- Version history :
|
9 |
|
|
-- V1 : 2015-04-08 : Mickael Carl (CNES): Creation
|
10 |
|
|
-------------------------------------------------------------------------------------------------
|
11 |
|
|
-- File name : STD_04200_good.vhd
|
12 |
|
|
-- File Creation date : 2015-04-08
|
13 |
|
|
-- Project name : VHDL Handbook CNES Edition
|
14 |
|
|
-------------------------------------------------------------------------------------------------
|
15 |
|
|
-- Softwares : Microsoft Windows (Windows 7) - Editor (Eclipse + VEditor)
|
16 |
|
|
-------------------------------------------------------------------------------------------------
|
17 |
|
|
-- Description : Handbook exemple: Clock domain crossing handshake based: good example
|
18 |
|
|
--
|
19 |
|
|
-- Limitations : This file is an example of the VHDL handbook made by CNES. It is a stub aimed at
|
20 |
|
|
-- demonstrating good practices in VHDL and as such, its design is minimalistic.
|
21 |
|
|
-- It is provided as is, without any warranty.
|
22 |
|
|
-- This example is compliant with the Handbook version 1.
|
23 |
|
|
--
|
24 |
|
|
-------------------------------------------------------------------------------------------------
|
25 |
|
|
-- Naming conventions:
|
26 |
|
|
--
|
27 |
|
|
-- i_Port: Input entity port
|
28 |
|
|
-- o_Port: Output entity port
|
29 |
|
|
-- b_Port: Bidirectional entity port
|
30 |
|
|
-- g_My_Generic: Generic entity port
|
31 |
|
|
--
|
32 |
|
|
-- c_My_Constant: Constant definition
|
33 |
|
|
-- t_My_Type: Custom type definition
|
34 |
|
|
--
|
35 |
|
|
-- My_Signal_n: Active low signal
|
36 |
|
|
-- v_My_Variable: Variable
|
37 |
|
|
-- sm_My_Signal: FSM signal
|
38 |
|
|
-- pkg_Param: Element Param coming from a package
|
39 |
|
|
--
|
40 |
|
|
-- My_Signal_re: Rising edge detection of My_Signal
|
41 |
|
|
-- My_Signal_fe: Falling edge detection of My_Signal
|
42 |
|
|
-- My_Signal_rX: X times registered My_Signal signal
|
43 |
|
|
--
|
44 |
|
|
-- P_Process_Name: Process
|
45 |
|
|
--
|
46 |
|
|
-------------------------------------------------------------------------------------------------
|
47 |
|
|
|
48 |
|
|
library IEEE;
|
49 |
|
|
use IEEE.std_logic_1164.all;
|
50 |
|
|
use IEEE.numeric_std.all;
|
51 |
|
|
|
52 |
|
|
--CODE
|
53 |
|
|
entity STD_04200_good is
|
54 |
|
|
generic (g_Width : positive := 4);
|
55 |
|
|
port (
|
56 |
|
|
-- A clock domain (Source)
|
57 |
|
|
i_ClockA : in std_logic; -- First clock signal
|
58 |
|
|
i_ResetA_n : in std_logic; -- Reset signal
|
59 |
|
|
i_Data : in std_logic_vector(g_Width-1 downto 0); -- Data from source
|
60 |
|
|
i_Request : in std_logic; -- Request from source
|
61 |
|
|
o_Grant : out std_logic; -- Acknowledge synced to source
|
62 |
|
|
-- B clock domain (Destination)
|
63 |
|
|
i_ClockB : in std_logic; -- Second clock signal
|
64 |
|
|
i_ResetB_n : in std_logic; -- Reset signal
|
65 |
|
|
o_Data : out std_logic_vector(g_Width-1 downto 0); -- Data to destination
|
66 |
|
|
o_Request_r2 : out std_logic; -- Request synced to destination
|
67 |
|
|
i_Grant : in std_logic -- Acknowledge from destination
|
68 |
|
|
|
69 |
|
|
);
|
70 |
|
|
end STD_04200_good;
|
71 |
|
|
|
72 |
|
|
architecture Behavioral of STD_04200_good is
|
73 |
|
|
signal Request_r1 : std_logic; -- Request signal registered 1 time
|
74 |
|
|
signal Request_r2 : std_logic; -- Request signal registered 2 times
|
75 |
|
|
signal Grant_r1 : std_logic; -- Grant signal registered 1 time
|
76 |
|
|
signal Grant_r2 : std_logic; -- Grant signal registered 2 times
|
77 |
|
|
begin
|
78 |
|
|
P_Source_Domain : process(i_ResetA_n, i_ClockA)
|
79 |
|
|
begin
|
80 |
|
|
if (i_ResetA_n = '0') then
|
81 |
|
|
Grant_r1 <= '0';
|
82 |
|
|
Grant_r2 <= '0';
|
83 |
|
|
elsif (rising_edge(i_ClockA)) then
|
84 |
|
|
-- Synchronize i_Grant to i_ClockA domain
|
85 |
|
|
Grant_r1 <= i_Grant;
|
86 |
|
|
Grant_r2 <= Grant_r1;
|
87 |
|
|
end if;
|
88 |
|
|
end process;
|
89 |
|
|
|
90 |
|
|
P_Destination_Domain : process(i_ResetB_n, i_ClockB)
|
91 |
|
|
begin
|
92 |
|
|
if (i_ResetB_n = '0') then
|
93 |
|
|
Request_r1 <= '0';
|
94 |
|
|
Request_r2 <= '0';
|
95 |
|
|
elsif (rising_edge(i_ClockB)) then
|
96 |
|
|
-- Synchronize i_Request to i_ClockB domain
|
97 |
|
|
-- Data is valid when Request_r2 is asserted
|
98 |
|
|
Request_r1 <= i_Request;
|
99 |
|
|
Request_r2 <= Request_r1;
|
100 |
|
|
end if;
|
101 |
|
|
end process;
|
102 |
|
|
|
103 |
|
|
o_Request_r2 <= Request_r2;
|
104 |
|
|
o_Data <= i_Data;
|
105 |
|
|
o_Grant <= Grant_r2;
|
106 |
|
|
end Behavioral;
|
107 |
|
|
--CODE
|