dtypist

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          ...

* Changing the tab width to 4 spaces permanenlty     Add the following to .vimrc (create one if not found in ~/)         filetype plugin indent on         " show existing tab with 4 spaces width         set tabstop=4         " when indenting with '>', use 4 spaces width         set shiftwidth=4         " On pressing tab, insert 4 spaces         set expandtab     Ref: http://stackoverflow.com/questions/234564/tab-key-4-spaces-and-auto-indent-after-curly-braces-in-vim  Indenting a block of codes in Vim     V j j >     Ref: http://stackoverflow.com/questions/235839/indent-multiple-lines-quickly-in-vi     

Start: screen -S "Session name" New window: C-a C-c Switch windows: C-a C-a Name a screen: C-a Shift-a List screen windows: C-a w Detach screen: C-a d Detach screen: screen -d Detach screen from elsewhere and attach it here : screen -d -r "Session id" List all detached sessions: screen -list And the obvious thing to do if you are stuck: man screen

26/10/15: --------- * CLASSES AND METHODS: ---------------------- * Possible conventions include capitalizing method names, prefixing data attribute names with a small unique string (perhaps just an underscore), or using verbs for methods and nouns for data attributes. *  It is not necessary that the function definition is textually enclosed in the class definition: assigning a function object to a local variable in the class is also ok # Function defined outside the class def f1(self, x, y):     return min(x, x+y) class C:     f = f1     def g(self):         return 'hello world'     h = g * Methods may call other methods by using method attributes of the self argument: class Bag:     def __init__(self):         self.data = []     def add(self, x):         self.data.append(x)   ...

View schematic of a VHDL file in Modelsim     * Go to SIM tab in the panel after simulation     * Right click on the top module name and ADD -> TO SCHEMATIC -> SELECTED REGION     * Go to SCHEMATIC tab         * Drag and select all items in the region         * Right click on it         * EXPAND NET TO -> DESIGN INPUTS       

Installation: ------------ Installation guide: http://iverilog.wikia.com/wiki/Installation_Guide Download the latest one from git     https://github.com/steveicarus/iverilog Trying out the first example     Use the following command to generate .vcd file         iverilog -o example_3_1.vvp example_3_1_tb.v     Display the waveforms         export DISPLAY=:0.0         gtkwave example_3_1.vcd

git add -u before committing the changes after you delete a file in the git directory

Copied from:  www.adobe.com Adobe Systems Incorporated Flash Player 11 for Linux Version 11.2.202.521 2015 Adobe recommends that all users upgrade to the latest version of Adobe Flash Player for the most recent features, bug fixes, and security fixes.  For more information on the new features in Flash Player 9, please visit http://www.adobe.com/products/flashplayer/.  For more information on system requirements, fixed issues, and known issues, see the release notes at http://www.adobe.com/go/flashplayer_releasenotes. To confirm which version of Flash Player you have currently installed, see http://www.adobe.com/software/flash/about/. Users should only install Players that have been downloaded from trusted sources, such as http://www.adobe.com/. Your use of this player is governed by the Adobe End User License Agreement found at http://www.adobe.com/products/eulas/players/flash/. Privacy ------- Adobe is committed to preserving the privacy of end users. For more informa...

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

Move selectin in Gimp https://docs.gimp.org/en/gimp-using-selections.html