|
HAL
v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
|
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 |