module test
input A ;
input B : boolean = false;
input B_value : integer = 0;
input C :boolean = false;
input C_value :boolean = false;
output D;
output E : boolean = false;
output E_value : integer = 5;
output F : boolean = false;
output F_value : boolean = false;
{
//pause;
}
Code Block
language
perl
linenumbers
true
!reset;
A C(false)
%Output: D F(false)
;
normally the core ESO is used,
but for better unterstanding we use
the normal ESO trace
Code Block
language
java
linenumbers
true
A <= true;
B <= false;
C <= true;
C_value <= false;
wait for tick_period;
assert( D = true )
report "1st trace: 1st tick: D should have been true"
severity ERROR;
assert( E = false )
report "1st trace: 1st tick: E should have been false"
severity ERROR;
assert( F = true )
report "1st trace: 1st tick: F should have been true"
severity ERROR;
assert( F_value = false )
report "1st trace: 1st tick: F_value should have been false"
severity ERROR;