HAL Plugins Documentation
=========================

.. toctree::
   :maxdepth: 1

   bitorder_propagation
   boolean_influence
   dataflow
   graph_algorithm
   gui
   netlist_preprocessing
   netlist_simulator
   netlist_simulator_controller
   verilator
   solve_fsm