Wednesday, January 27, 2016

ANTLR

How to write ANTLR grammar:
---------------------------

* Writing Verilog grammar for the output of VIS, the counter example

    ? : either zero or one
    + : One or more
    * : Zero or more

    Wildcard characters:
        '.' : All characters
        ~c : every character but c

No comments:

Post a Comment

VIS & VL2MV

18/01/2016: -----------     Installing VIS model checker     ----------------------------         Download from: http://vlsi.colorado.edu/~...