pragmatism first

VPASSERT(1P) - manual page | User commands

Preprocess Verilog code assertions.

Loading manual page ...