Verilog: Vereinfachung von Auswertung parameter?

[Nick M. (Gast)]

Hi!

Kann man sowas in Verilog einfacher schreiben?

Präziser: Geht da irgendwas mit `define um die Negierung bei der 
Zuweisung automagisch einzusetzen?
Oder irgendwas anderes kompaktes? Den code zu kopieren erscheint mir 
nicht sinnvoll.

Ich stell mir was in der Richtung vor:

4'h0: segments[6:0] = `negate 7'b0000110;

Allerding soll das 'negate' nur lokal sein.

Beispiel:

module HexToSeg #(parameter activeHigh = 1) (
  input wire [3:0] hex,
  output reg [6:0] segments
)

  always @* begin
    if (activeHigh) begin
      case (hex)
        4'h0: segments[6:0] = 7'b0000110;
        ...
      endcase
    end
    else begin
      case (hex)
        4'h0: segments[6:0] = ~7'b0000110;
        ...
      endcase
    end
  end

endmodule

Gruß & Dank,
Nick

Wieso gibt es denn kein tag für Verilog-Formatierung, sondern nur für 
VHDL? Das ist ja schrecklich! ;-)

[Vancouver (Gast)]

Mir ist nicht gnaz klar, was du mit "lokalem negate" meinst.

Ich würde das if und den ganzen else-Zweig weglassen und als letztes 
Statement im always-Block schreiben

segments_out[6:0] = activeHigh ? segments[6:0] : ~segments[6:0];

Oder was meinst du?

[Nick M. (Gast)]

Vancouver schrieb:
> Oder was meinst du?

Ah! OK, das ist eine Lösung, an die dachte ich auch mal.
Aber Dein Vorschlag generiert doch im Fall der Negierung zusätzliche 
Gatter, oder?
Gibt es eine Lösung, die bei der Synthese komplett rausoptimiert wird, 
aber ohne das Bitmuster zu wiederholen.

Also so nicht:

4'h0: segments[6:0] = activeHigh ? 7'b0000110 : ~7'b0000110;


Nick

[Vancouver (Gast)]

Nick M. schrieb:
> Aber Dein Vorschlag generiert doch im Fall der Negierung zusätzliche
> Gatter, oder?

Nein, die Synthese erkennt das und passt die Konstanten so an, dass die 
Invertierung wegfällt. Solche Optimierungen auf Gatterbene solltest Du 
wirklich der Synthese überlassen, die macht das besser als es jeder 
Mensch könnte. Das erlaubt es dir, den Code möglichst leicht 
verständlich zu schreiben. Die anschließende Optimierung ist "not your 
Job" :-)

[Nick M. (Gast)]

Vancouver schrieb:
> Die anschließende Optimierung ist "not your
> Job" :-)

Good to hear! :-)
Danke, dann mach ich das so. Ich kann es mir ja dann noch auf 
Gatterebene ansehen was tatsächlich passiert ist...


Danke,
Nick

[Nick M. (Gast)]

HA!

Jetzt hab ich die Lösung für mein ursprüngliches Ziel:

if (activeHigh)
  localparam negate = 7'b0000000;
else
  localparam negate = 7'b1111111;

...
    4'h0: segments[6:0] = negate ^ 7'b0000110;

Nicht ausprobiert!

Nick

[Vancouver (Gast)]

Ja, so gehts vermutlich auch. kann sein, dass du die 
localparam-Deklaration in eine generate-Umgebung packen musst.

Oder du sagst negate={7{activeHigh}}

Ob das alles die Verständlichkeit deines Sourcecodes fördert, musst du 
selbst entscheiden :-) Die Logik nach der Synthese dürfte aber immer die 
gleiche sein.

[Vancouver (Gast)]

Ich meinte negate={7{~activeHigh}}, sorry

[Nick M. (Gast)]

Vancouver schrieb:
> Die Logik nach der Synthese dürfte aber immer die
> gleiche sein.

Das gehört nun mal zum Lernen und Ausprobieren. Und auch zum leserlichen 
Code schreiben.

Danke für Deine Tips!

Nick