Pretty Printing

From Gezel2

[edit] Printing in Latex

The following code was contributed by Lasse Bach from Denmark Technical University.

 %Requires the color package.
 \definecolor{darkkeyword}{rgb}{0,0.08,0.40}
 \lstdefinelanguage{gezel}{
   tabsize=3,
   frame=single,
   basicstyle=\footnotesize\ttfamily,
   rulecolor=\color{bordergray},
   identifierstyle=, % nothing happens
   commentstyle=\color{Gray}, % red comments
   stringstyle=\color{Gray},%\ttfamily, % typewriter type for strings
   showstringspaces={false}, % no special string spaces
   morecomment=[l]{//},
   morestring=[b]",
   morekeywords={always, dp, in, out, tc, ns, reg, sig, sfg, hardwired, sequencer, 
                 fsm, use, ipblock, ipparm, iptype, lookup, initial, state, system, 
                 if, then, else, stimulus},
                 keywordstyle=\color{Blue}\bfseries,classoffset=1,
   morekeywords={\$display, \$cycle, \$dec, \$bin, \$dp, \$finish,
                 \$hex, \$sfg, \$trace, \$option}, 
                 keywordstyle=\color{darkkeyword}\bfseries,classoffset=0
 }