blob: d58580da800397b4d0416f164280ad64d867633f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
entity tb is
end tb;
architecture behav of tb is
function get_rand return integer;
attribute foreign of get_rand: function is "VHPIDIRECT ./getrand.so get_rand";
function get_rand return integer is
begin
assert false severity failure;
end get_rand;
begin
assert get_rand >= 0 severity note;
end behav;
|