blob: 33c2e50a38fda7c770a89e4a55817e039aa5fd92 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;
entity assert01 is
port (
a, b : out std_logic);
end;
architecture behav of assert01 is
signal s : std_logic;
begin
assert ((a and b and s) = '0') report "error" severity error;
end;
|
