«

I'm not sure if this is VHDL or Modelsim issue (other than operator
issue), so I'm posting in both groups. It looks like too simple a case
to ask someone online, but I've been scratching my head too long on
this. I'm relatively new to VHDL (and Modelsim as well).

In a testbench, I'm doing a simple signal generation :
- assert 'sig1' at a rising edge of a free running clock at some point
- deassert 'sig1' at the next rising edge
- and on the 3rd edge, do some checking, and so on...

However, the simlation waveform shows that 'sig1' is asserted from 2nd
to 3rd clock edge, instead of being asserted from 1st to 2nd edge.

What am I doing wrong? I've included both snippets from the testbench
and the debug output. I expected 'sig1' asserted from 314 to 318ns.
Simulation waveform shows assertion from 318 to 322 ns instead. Any
help would be appreciated.

# ---------------- in a test bench -------------------
# Wait for a rising edge, and bring 'sig1' high
wait until rising_edge(clk);
write (L, string'("1st rising edge : " & image(now)));
writeline (output, L);
sig1 <= '1';
write (L, string'("1st rising edge (again) : " & image(now)));
writeline (output, L);

# Wait for the next rising edge, and bring 'sig1' low
wait until rising_edge(clk);
write (L, string'("2nd rising edge : " & image(now)));
writeline (output, L);
sig1 <= '0';

# Wait for the 3rd rising edge
wait until rising_edge(clk);
write (L, string'("3rd rising edge : " & image(now)));
writeline (output, L);

# ---------------- debug output -------------------
# 1st rising edge : 314 ns
# 1st rising edge (again) : 314 ns
# 2nd rising edge : 318 ns
# 3rd rising edge : 322 ns

wrote:
> I'm not sure if this is VHDL or Modelsim issue (other than operator
> issue), so I'm posting in both groups. It looks like too simple a case
> to ask someone online, but I've been scratching my head too long on
> this. I'm relatively new to VHDL (and Modelsim as well).
>
> In a testbench, I'm doing a simple signal generation :
> - assert 'sig1' at a rising edge of a free running clock at some point
> - deassert 'sig1' at the next rising edge
> - and on the 3rd edge, do some checking, and so on...
>
> However, the simlation waveform shows that 'sig1' is asserted from 2nd
> to 3rd clock edge, instead of being asserted from 1st to 2nd edge.
>
> What am I doing wrong? I've included both snippets from the testbench
> and the debug output. I expected 'sig1' asserted from 314 to 318ns.
> Simulation waveform shows assertion from 318 to 322 ns instead. Any
> help would be appreciated.
>

Not seeing more of your testbench, it is difficult to diagnose, but
maybe, your "free-running clock" is something like this:

process
begin
loop
clock<='1';
wait for x ns;
clock<='0';
wait for x ns;
end loop;
end process;

In this case you feel like there is a rising edge at the beginning of
the process, but it will not be found by your wait statement, as the
level is "already there" when you start waiting.

I know this is not the strict answer, but I would trace the instant you
begin your wait. From your debug output, I think it is possible that you
start waiting at 310 ns, so that the clock has "already changed".

Hope this helps you

wrote:

> However, the simlation waveform shows that 'sig1' is asserted from 2nd
> to 3rd clock edge, instead of being asserted from 1st to 2nd edge.
> What am I doing wrong?

Try it again with the signal assignments
before the waits.

-- Mike Treseler

Yes, I'm doing just that for creating clock, and your post shed some
light on what I wasn't paying attention to, but...

I'm still confused. In the following testbench code, shouldn't it wait
for a certain rising edge (whatever time it might correspond to), and
assert 'sig1', at the time reported by 'now'? What I see is 'sig1' get
asserted one clock after that.

line 1 : wait until rising_edge(clk);
line 2 : write (L, string'("1st rising edge : " & image(now)));
line 3 : writeline (output, L);
line 4 : sig1 <= '1'; -- I see this signal go high at 'now' + 1
more clock cycle??
-- note that lines 2,3,4 are
occuring after the rising edge.

Sure thing. But when I do that, I expect the signal assertion duration
has shifted as well. I can fiddle the code to do whatever I want it to
do, but I'm trying to figure out why it mismatches with my expected
behavior... maybe I wasn't clear in my original posting...

wrote:
> Yes, I'm doing just that for creating clock, and your post shed some
> light on what I wasn't paying attention to, but...
>
> I'm still confused. In the following testbench code, shouldn't it wait
> for a certain rising edge (whatever time it might correspond to), and
> assert 'sig1', at the time reported by 'now'? What I see is 'sig1' get
> asserted one clock after that.
>
> line 1 : wait until rising_edge(clk);
> line 2 : write (L, string'("1st rising edge : " & image(now)));
> line 3 : writeline (output, L);
> line 4 : sig1 <= '1'; -- I see this signal go high at 'now' + 1
> more clock cycle??
> -- note that lines 2,3,4 are
> occuring after the rising edge.
>

So you tell me that now is printed as 314 ns, but sig1 rises at 318 ns?
If that is so, it is unexpected for me too!

If you can boil down what you are seeing to under 20 lines of code, and
post the 20 lines, I think people will be in a better position to
identify the issue.

-Newman

wrote:
> I'm not sure if this is VHDL or Modelsim issue (other than operator
> issue), so I'm posting in both groups. It looks like too simple a case
> to ask someone online, but I've been scratching my head too long on
> this. I'm relatively new to VHDL (and Modelsim as well).
>
> In a testbench, I'm doing a simple signal generation :
> - assert 'sig1' at a rising edge of a free running clock at some point
> - deassert 'sig1' at the next rising edge
> - and on the 3rd edge, do some checking, and so on...
>
> However, the simlation waveform shows that 'sig1' is asserted from 2nd
> to 3rd clock edge, instead of being asserted from 1st to 2nd edge.
>
> What am I doing wrong? I've included both snippets from the testbench
> and the debug output. I expected 'sig1' asserted from 314 to 318ns.
> Simulation waveform shows assertion from 318 to 322 ns instead. Any
> help would be appreciated.

I simulated your code with modelsim, and aside from different times:
1st rising edge : 1015000 ps
1st rising edge (again) : 1015000 ps
2nd rising edge : 1023000 ps
3rd rising edge : 1031000 ps
I see sig 1 asserted from 1015000 ps to 1023000 ps. So something else
appears to be going on in your case.

I'm glad you don't see the same problem, because that would've puzzled
others as well.

Would you mind posting what your testbench looks like? I initially
suspected my clock generation as Zara suggested, but that doesn't quite
make sense to me. I'll use process of elimination on differences and
see what's causing this. I'll post the result as well.

TIA.

wrote:
> I'm glad you don't see the same problem, because that would've puzzled
> others as well.
>
> Would you mind posting what your testbench looks like? I initially
> suspected my clock generation as Zara suggested, but that doesn't quite
> make sense to me. I'll use process of elimination on differences and
> see what's causing this. I'll post the result as well.
>
> TIA.
>

Watch out for line wrap...

library ieee ;
use ieee.std_logic_1164.all ;
use ieee.std_logic_textio.all ;
use std.textio.all ;

entity test is
end entity test;

architecture tester of test is
constant CLK_PRD : Time := 10 nS;
signal Clk : std_logic;
signal sig1 : std_logic;
begin

tester_p: process is
file output : text open write_mode is "test.out";
variable L : line;
begin
sig1 <= '0';
wait for 1 uS;
wait until rising_edge(clk);
write (L, string'("1st rising edge : " & time'image(now)));
writeline (output, L);
sig1 <= '1';
write (L, string'("1st rising edge (again) : " & time'image(now)));
writeline (output, L);

-- Wait for the next rising edge, and bring 'sig1' low
wait until rising_edge(clk);
write (L, string'("2nd rising edge : " & time'image(now)));
writeline (output, L);
sig1 <= '0';

-- Wait for the 3rd rising edge
wait until rising_edge(clk);
write (L, string'("3rd rising edge : " & time'image(now)));
writeline (output, L);
end process tester_p;

-- Generate the clock.
clk_gen: process
begin
loop
Clk <= '1' after CLK_PRD/2, '0' after CLK_PRD;
wait for CLK_PRD;
end loop;
end process clk_gen ;
end architecture tester;