A manual that describes a software technology for creating new kinds of macro instructions using Verilog-like expressions.