HAL  v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
plugins Directory Reference

Directories

directory  bitorder_propagation
 
directory  boolean_influence
 
directory  dataflow_analysis
 
directory  dot_viewer
 
directory  genlib_writer
 
directory  gexf_writer
 
directory  graph_algorithm
 
directory  gui
 
directory  gui_extension_demo
 
directory  hawkeye
 
directory  hgl_parser
 
directory  hgl_writer
 
directory  liberty_parser
 
directory  logic_evaluator
 
directory  module_identification
 
directory  netlist_preprocessing
 
directory  perf_test
 
directory  python_shell
 
directory  resynthesis
 
directory  sequential_symbolic_execution
 
directory  simulator
 
directory  solve_fsm
 
directory  verilog_parser
 
directory  verilog_writer
 
directory  vhdl_parser
 
directory  xilinx_toolbox
 
directory  z3_utils