mirror of
https://github.com/verilator/verilator.git
synced 2025-01-09 08:07:46 +00:00
30 lines
493 B
Coq
30 lines
493 B
Coq
|
// DESCRIPTION: Verilator: Verilog Test module
|
||
|
//
|
||
|
// This file ONLY is placed into the Public Domain, for any use,
|
||
|
// without warranty, 2010 by Wilson Snyder.
|
||
|
|
||
|
module t (/*AUTOARG*/
|
||
|
// Outputs
|
||
|
bl, cl, bc, cc,
|
||
|
// Inputs
|
||
|
a
|
||
|
);
|
||
|
|
||
|
input logic a;
|
||
|
output logic bl;
|
||
|
output logic cl;
|
||
|
always_latch begin
|
||
|
bl <= a; // No warning
|
||
|
cl = a;
|
||
|
end
|
||
|
|
||
|
output logic bc;
|
||
|
output logic cc;
|
||
|
always_comb begin
|
||
|
bc <= a; // Warning
|
||
|
cc = a;
|
||
|
end
|
||
|
|
||
|
|
||
|
endmodule
|