blob: bd9c76ec7414426415e63e573af50a2a8e2aa374 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
vunit i_t1(shiftMux2(rtl))
{
-- set all declarations to run on clk
default clock is rising_edge(clk);
--it breaks on this line:
sequence s1 is {inputA };
sequence s2 is {outputB };
assert always (s1) |=> (s2);
--this works:
--assert always {inputA } |=> {outputB};
}
|