Skip to main content

ANTLR

Image
By
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

Comments

Post a Comment

Popular posts from this blog

Install Modelsim in Ubuntu

By
Updates (23/09/14): The steps given below are for 32-bit version of Ubuntu. To install Modelsim on 64 bit Ubuntu, please refer to this link.  What is Modelsim? Modelsim is a hardware simulation and debug environment primarily targeted at smaller ASIC and FPGA design ( Ref ) How do I install it? Download Modelsim Linux edition from here   For more information visit me   Go to the download location of the .run file and type chmod +x ModelSimSetup-13.1.0.162.run Visit me for more details Use the command ./ ModelSimSetup-13.1.0.162.run install Modelsim  How do I start Modelsim?   Change your directory to 'Location_where_you_installed_Modelsim '/altera/13.1/modelsim_ase/linuxaloem   Type ./vsim   Verified on: Ubuntu 12.04 LTS
21 comments
Read more

VIS & VL2MV

By
18/01/2016: -----------     Installing VIS model checker     ----------------------------         Download from: http://vlsi.colorado.edu/~vis/vis_files_2.4.html         Note: First do the installation of glu and then install vis or vl2mv (order doesn't matter)         Installation: Follow the steps in the VIS README file in http://vlsi.colorado.edu/~vis/vis_files_2.4.html         Pitfalls: Dont extract the vis and glu .tar.gz files using gui. Instead use the commands given below             % gzip -dc /tmp/glu-2.4.tar.gz | tar xf -             % gzip -dc /tmp/vis-2.4.tar.gz | tar xf -         Setting environment for VIS          ...
Post a Comment
Read more

Installing Latex (Miktex+Winedt platform) in windows 7

By
courtesy: Jinu jayachandran (IIT Bombay) Note: To use latex in windows, you can use the softwares Mikitex and Winedt 1.install the mikitex 2.9 2.Install Winedit 7 3. Start->mikitex 2.9->maintenance->settings->general->change the preference for ‘install missing packages on-the-fly’ to ‘yes’ 4. Start->mikitex 2.9->maintenance(admin)->package manager->repository->change package repository->click ‘packages shall be installed from internet’-> give proxy settings and tick ‘authentication required’-> next->give ldap username and password 5. select any repository 6. Start->mikitex 2.9->maintenance(admin)->package manager->repository->synchronise 7.Start->mikitex 2.9->maintenance(admin)->update(admin) and update by selecting ‘use nearest package repository’ and give proxy settings Now you can start using mikitex using winedit interface. download MikiTex 2.9 download Winedt 7 userguide Note:The ldap i...
4 comments
Read more