resources/new.png resources/open.png resources/save.png resources/exit.png resources/zoom.png resources/resultset_first.png resources/resultset_previous.png resources/resultset_next.png resources/resultset_last.png resources/cross.png resources/zoom_in.png resources/zoom_out.png resources/shape_handles.png resources/shape_square.png resources/control_play.png resources/control_pause.png resources/control_stop.png resources/pack.png resources/place.png resources/route.png resources/time_add.png resources/open_json.png resources/save_json.png resources/py.png resources/bel.png resources/wire.png resources/pip.png resources/group.png resources/camera.png resources/film.png resources/save_svg.png cgit/iCE40/yosys/tree/tests/sva/basic05.vhd?id=cdfb634977b3ee005c5635f7902ea21dd45f7311'>treecommitdiffstats
path: root/tests/sva/basic05.vhd
blob: 8d42f71e849b1b322952916480f3692b51388ea1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
library ieee;
use ieee.std_logic_1164.all;

entity demo is
	port (
		clock : in std_logic;
		ctrl : in std_logic;
		x : out std_logic
	);
end entity;

architecture rtl of demo is
	signal read : std_logic := '0';
	signal write : std_logic := '0';
	signal ready : std_logic := '0';
begin
	process (clock) begin
		if (rising_edge(clock)) then
			read <= not ctrl;
			write <= ctrl;
			ready <= write;
		end if;
	end process;

	x <= read xor write xor ready;
end architecture;