a separated list of <b>short</b> pin labels (one or two characters max).  You can also
specify inverted labels, like <tt>/Q</tt> for <span style="text-decoration: overline">Q</span>.  Example: <tt>A,B,/C,/D</tt>
</p><p>
The definition is multiple lines of the form <i>input</i><tt>=</tt><i>output</i>.  The first <i>input</i> pattern that matches the
input pins is chosen, and the output pins are set to match the <i>output</i> pattern.  The pattern can contain bit values
(<tt>0</tt>, <tt>1</tt>), transitions (