Signale in ModelSIM werden falsch dargestellt (?)

[Gast (Gast)]

Kennt jemand das Problem, daß Signale, die infolge eines Eintaktvorgangs 
eigentlich einen Takt verzögern ändern müssten, bereits zum Takt mit der 
Quelle mitändern ?

Es scheint ein Darstellungsproblem zu sein, denn die Reaktion auf das 
scheinbar falsche Signal stimmt.

Woran kann es liegen ?

[Falk B. (falk)]

@ Gast (Gast)

>Kennt jemand das Problem, daß Signale, die infolge eines Eintaktvorgangs
>eigentlich einen Takt verzögern ändern müssten, bereits zum Takt mit der
>Quelle mitändern ?

Ja.

>Es scheint ein Darstellungsproblem zu sein,

Nö.

> denn die Reaktion auf das
>scheinbar falsche Signal stimmt.

>Woran kann es liegen ?

Deine Testbench ist falsch. Deine Eingangssignale dürfen sich erst NACH 
der Taktflanke ändern, 10ps reichen schon. Wenn sie sich genau parallel 
mit der Taktflanke ändern knallts.

MFG
Falk

[Gast (Gast)]

Nein, die TB ist in Ordnung. Es passiert auch nur bei DIESEM Signal, 
alles andere in der Schaltung läuft. Ich versuche das mal zu 
extrahieren, auf AE/XE zu packen und zu posten.

[Gast (Gast)]

Habe es mal rauskopiert und entschärft. So sieht der Code aus:

input: process (reset, clk)                
begin
  if (reset = '1') then
    instream <= (others => '1');
    wen <= '0';
    error <= '0';
  elsif rising_edge(clk) then                
    if (localreset = '1') then      
      instream <= (others => '1');
      wen <= '0';
      error <= '0';
    elsif (data_new = '1') then -- new data coming
      if (ram_full = '1') then -- ok to write ?      
        instream <= (others => '1');
        wen <= '0';
        error <= '1';              
      else -- ram not full, write !
        if (test = '1') then -- select data
          instream <= test_data;
        else
          instream <= datainput;  
        end if;
        wen <= '1';
        error <= '0';
      end if;
    else -- no local reset
      instream <= (others => '1');      
      wen <= '0';
    end if;
  end if;
end process input;

Sowohl instream als auch wen wechseln mit der Taktflanke, wenn auch das 
data_new ändert und nicht, wenn es bereits 1 war, also einen Takt 
später- Ich sehe nur noch nicht, ob es nicht das datanew ist, das zu 
spät dargestellt wird.

Die Reaktion auf den localreset funktioniert, wie erwartet: localreset 
geht auf 1, die Signale bleiben und wechseln erst zur nächsten 
Taktflanke auf Startzustand. Auch der asynchrone Reset läuft. Dieser 
kommt, wie auch das localreset und der clk aus der testbench, während 
das datanew aus einer anderen Schaltung produziert wird. Das sieht aber 
logisch und korrekt aus. (?)

[Mathi (Gast)]

Ich versuche mal Dein Problem zusammen zu fassen:
instream und wen ändern sich mit der gleichen Flanke wie auch data_new, 
obwohl sie sich erst ändern sollen wenn data_new 1 ist?

Die Frage ist, woher kommt das data_new? Wird es in der gleichen 
Taktdomäne erzeugt?

[Gast (Gast)]

Ja, ist ein file. Dierekter Ausgang des FF mit demselben Takt. Ich 
reduziere / anonymisiere jetzt mal das Design und die Testbench und 
simuliere es noch mal. Wenn das soweit ist, dann kriegt das Mentor als 
Hausaufgabe. Es ist übrigens nicht das erste mal, dass ich sowas habe.