documentation updates

doc/xschem_man/commands.html

@@ -144,7 +144,7 @@ shift       'J'         create xplot plot file for ngspice in simulation directo
                         (just type xplot in ngspice)
 -           'j'         Print list of highlighted nets/pins
 -           'k'         Hilight selected nets
-ctrl+shift  'K'         highlight net passing through elements with 'propagate_to' property set on pins
+ctrl+shift  'K'         highlight net passing through elements with 'propag' property set on pins
 shift       'K'         Unhilight all nets
 ctrl        'k'         Unhilight selected nets
 alt         'k'         Select all nets attached to selected wire / label / pin.

doc/xschem_man/symbol_property_syntax.html

@@ -46,6 +46,13 @@ p{padding: 15px  30px 10px;}
     <li><kbd>label</kbd>: the symbol is used to label a net. These type of symbols must have
      one and only one pin, and the template string must define a <kbd>lab</kbd> attribute
      that is passed at component instantiationi to name the net it is attached to. </li>
+    <li><kbd>probe</kbd>: this denotes a probe symbol that may be backannotated with a
+     backannotation script (example: ngspice_backannotate.tcl).</li>
+    <li><kbd>ngprobe</kbd>: This is a probe element that uses a 'pull' method to fetch simulation 
+     data and display it in current schematic. The data displayed is thus dynamic, multiple
+     instancs of the same symbol with annotators will display operating point data for that particular
+     instance without the need to update the backannotation as is required for annotators 
+     using the 'push' annotation methid.</li>
     <li><kbd>netlist_commands</kbd>: the symbol is used to place SPICE commands into a spice netlist.
      It should also have a <kbd>value</kbd> attribute that may contain arbitrary text that is 
      copied verbatim into the netlist. More on this in the <a href="...">netlist</a> slide.</li>
@@ -286,6 +293,40 @@ m5 net1 b net2 VSSPIN nlv w=wn l=ln geomod=0 m=1
    Defines the direction of a symbol pin. Allowed values are <kbd>in</kbd>, <kbd>out</kbd>, <kbd>inout</kbd>.
   </p>
    <img src="symbol_property_syntax2.png">
+  <li><kbd>propag=n</kbd></li>
+  <p>
+  This attribute instructs xschem to do a 'propagate highlight' from the pin with this attribute to the
+  pin <kbd>n</kbd>. The number 'n' refers to the pin sequence number (do a <kbd>shift-S</kbd> after
+  selecting destination pin to know this information).
+  </p>
+  <li><kbd>goto=n[,m,...]</kbd></li>
+  <p>
+  This attribute is used in the xschem embedded digital simulation engine: propagate logic simulation
+  to the output pins <kbd>n,[m,...]</kbd>. The logic function is defined via the 'function<kbd>n</kbd>'
+  global attribute. There is one 'funtion<kbd>n</kbd>' for each <kbd>n</kbd> output pin.
+  see 'function<kbd>n</kbd>' attribute for more info.
+  </p>
+   <img src="symbol_property_syntax4.png">
+
+  <li><kbd>clock=n</kbd></li>
+  <p>
+   A <kbd>clock</kbd> attribute defined on input pins add some information on the pin function as follows:
+   <ul>
+     <li> <kbd>clock=0</kbd> This indicates an 'active low' clock signal for flip-flops </li>
+     <li> <kbd>clock=1</kbd> This indicates an 'active high' clock signal for flip-flops </li>
+     <li> <kbd>clock=2</kbd> This indicates an 'active low' reset signal for flip-flops </li>
+     <li> <kbd>clock=3</kbd> This indicates an 'active high' reset signal for flip-flops </li>
+   </ul>
+  </p>
+  <li><kbd>function</kbd></li>
+  <p>
+  This attribute is set in the symbol global attributes and specifies the logic function to be applied 
+  to the associated output pin. The format is: <kbd>function&lt;n&gt;="...logic function..."</kbd>
+  where the number <kbd>&lt;n&gt;</kbd> refers to the sequence number of the output pin (do a 'Shift-S'
+  after selecting the pin to know its sequence number). Multiple functions (function3="...", function4="...")
+  can be defined in case of elements with multiple outputs.
+  </p>
+   <img src="symbol_property_syntax5.png">
   <li><kbd>global</kbd></li>
   <p>
   a <kbd>global=true</kbd> property in a <kbd>label</kbd> type symbol will declare the corresponding net as 'global'.

doc/xschem_man/xschem_properties.html

@@ -43,13 +43,13 @@ p{padding: 15px  30px 10px;}
  </p>
  <img src="edit_property.png">
  <p> 
-  The <kbd>name=p&nbsp;dir=inout&nbsp;propagate_to=1&nbsp;pinnumber=1</kbd> property string tells that the
+  The <kbd>name=p&nbsp;dir=inout&nbsp;propag=1&nbsp;pinnumber=1</kbd> property string tells that the
   selected pin name is <kbd>'p'</kbd>,
   this will be the symbol positive pin name in the produced netlist.
   The property string also defines a <kbd>dir</kbd> attribute with value
   <kbd>inout</kbd>. This tells XSCHEM that electrically this is an input/output pin.
   This is important when producing VHDL/verilog netlists.
-  The <kbd>propagate_to=1</kbd> tells XSCHEM that when we select a wire attaced to this pin
+  The <kbd>propag=1</kbd> tells XSCHEM that when we select a wire attaced to this pin
   (which is located at index 0 in xschem) the highlight will propagate to the other pin (with index 1).
   To view the xschem index of a pin click and hold the mouse on it, the index will be shown as 
   <kbd>n= &lt;number&gt; </kbd> in the bottom status line:
@@ -58,7 +58,7 @@ p{padding: 15px  30px 10px;}
  <p>
   The <kbd> pinnumber=1</kbd> attribute is used when exporting to pcb software (via the tEDAx netlist) 
   and tells to which pin number on the resistor footprint this positive pin is bound.
-  The second (bottom) pin property string is <kbd>name=m&nbsp;dir=inout&nbsp;propagate_to=0&nbsp;pinnumber=2</kbd> and this
+  The second (bottom) pin property string is <kbd>name=m&nbsp;dir=inout&nbsp;propag=0&nbsp;pinnumber=2</kbd> and this
   defines the negative pin.
   The text primitives also have properties. For texts the property string may be used 
   to specify font and the layer to use for displaying text.

src/keys.help

@@ -103,7 +103,7 @@ shift       'J'         create xplot plot file for ngspice in simulation directo
                         (just type xplot in ngspice)
 -           'j'         Print list of highlighted nets/pins
 -           'k'         Hilight selected nets
-ctrl+shift  'K'         highlight net passing through elements with 'propagate_to' property set on pins
+ctrl+shift  'K'         highlight net passing through elements with 'propag' property set on pins
 shift       'K'         Unhilight all nets
 ctrl        'k'         Unhilight selected nets
 alt         'k'         Select all nets attached to selected wire / label / pin.