├── .appveyor.yml ├── .gitignore ├── .travis.yml ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── doc ├── .doxygen ├── .gitignore ├── conf.py ├── contents.rst └── netlist_normal_form.md ├── include └── netlistDB │ ├── bit_utils.h │ ├── common.h │ ├── constants.h │ ├── function_def.h │ ├── hw_type │ ├── aint.h │ ├── common.h │ ├── hw_int.h │ ├── ihw_type.h │ └── ihw_type_value.h │ ├── inode.h │ ├── netlist.h │ ├── operator_defs.h │ ├── query │ ├── backtrack_context.h │ ├── expr_sensitivity_probe.h │ ├── query_enclosure.h │ ├── query_match.h │ ├── query_path.h │ ├── query_public_net.h │ ├── query_sensitivity.h │ ├── query_structural_cmp.h │ ├── query_structural_compatible.h │ ├── query_traverse.h │ └── statement_visitor.h │ ├── serializer │ ├── namescope.h │ ├── serialization_io.h │ ├── serializer.h │ ├── verilog.h │ └── verilog_tmp_var_extractor.h │ ├── statement_assignment.h │ ├── statement_hwprocess.h │ ├── statement_if.h │ ├── transform │ ├── indexed_assignment_to_assignment_of_concat.h │ ├── mark_inter_process_nets.h │ ├── normalize.h │ ├── reduce_statement.h │ ├── remove_by_mask.h │ ├── remove_useless.h │ ├── statement_to_hwprocess.h │ ├── to_hdl_friendly.h │ └── transformation.h │ ├── usage_cache_key.h │ ├── utils │ ├── erase_if.h │ ├── groupedby.h │ ├── ordered_set.h │ ├── sensitivity_ctx.h │ ├── thread_pool.h │ └── timer.h │ └── varId.h ├── meson.build ├── src ├── bit_utils.cpp ├── component_map.cpp ├── function_call.cpp ├── function_def.cpp ├── hw_type │ ├── aint.cpp │ ├── common.cpp │ ├── hw_int.cpp │ ├── hw_int_value.cpp │ └── ihw_type.cpp ├── istatement.cpp ├── meson.build ├── net.cpp ├── netlist.cpp ├── operator_defs.cpp ├── query │ ├── backtrack_context.cpp │ ├── expr_sensitivity_probe.cpp │ ├── query_enclosure.cpp │ ├── query_match.cpp │ ├── query_path.cpp │ ├── query_public_net.cpp │ ├── query_sensitivity.cpp │ ├── query_structural_cmp.cpp │ ├── query_structural_compatible.cpp │ ├── query_traverse.cpp │ └── statement_visitor.cpp ├── serializer │ ├── namescope.cpp │ ├── serializer.cpp │ ├── serializer_io.cpp │ ├── verilog.cpp │ ├── verilog_constants.cpp │ ├── verilog_ops.cpp │ ├── verilog_statements.cpp │ ├── verilog_structural.cpp │ └── verilog_tmp_var_extractor.cpp ├── statement_assignment.cpp ├── statement_hwprocess.cpp ├── statement_if.cpp ├── transform │ ├── indexed_assignment_to_assignment_of_concat.cpp │ ├── mark_inter_process_nets.cpp │ ├── normalize.cpp │ ├── reduce_statement.cpp │ ├── remove_by_mask.cpp │ ├── remove_useless.cpp │ ├── statement_to_hwprocess.cpp │ └── to_hdl_friendly.cpp └── utils │ ├── thread_pool.cpp │ └── timer.cpp └── tests ├── basic_query_match_test.cpp ├── basic_test.cpp ├── components ├── async_reg.h ├── bram.h ├── ff.h ├── latch.h ├── mux.h └── wire.h ├── erase_if_test.cpp ├── expr_sensitivity_probe_test.cpp ├── igraph_benchmark.cpp ├── large_query_match_test.cpp ├── meson.build ├── netlist_to_igraph.cpp ├── netlist_to_igraph.h ├── ordered_set_test.cpp ├── query_enclosure_test.cpp ├── query_flooding_test.cpp ├── query_sensitivity_test.cpp ├── query_structural_cmp_test.cpp ├── query_traverse_test.cpp ├── reduce_statement_test.cpp ├── statement_assignment_test.cpp ├── statement_if_test.cpp ├── statement_to_hwprocess_test.cpp ├── test_graphs.cpp ├── test_graphs.h ├── thread_pool_test.cpp ├── transform_remove_useless_test.cpp ├── unsigned_val_test.cpp ├── verilog_basic_test.cpp ├── verilog_hierarchy_test.cpp └── verilog_simple_modules_test.cpp /.appveyor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/.appveyor.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/.travis.yml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/README.md -------------------------------------------------------------------------------- /doc/.doxygen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/doc/.doxygen -------------------------------------------------------------------------------- /doc/.gitignore: -------------------------------------------------------------------------------- 1 | html 2 | latex 3 | -------------------------------------------------------------------------------- /doc/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/doc/conf.py -------------------------------------------------------------------------------- /doc/contents.rst: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /doc/netlist_normal_form.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/doc/netlist_normal_form.md -------------------------------------------------------------------------------- /include/netlistDB/bit_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/bit_utils.h -------------------------------------------------------------------------------- /include/netlistDB/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/common.h -------------------------------------------------------------------------------- /include/netlistDB/constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/constants.h -------------------------------------------------------------------------------- /include/netlistDB/function_def.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/function_def.h -------------------------------------------------------------------------------- /include/netlistDB/hw_type/aint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/hw_type/aint.h -------------------------------------------------------------------------------- /include/netlistDB/hw_type/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/hw_type/common.h -------------------------------------------------------------------------------- /include/netlistDB/hw_type/hw_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/hw_type/hw_int.h -------------------------------------------------------------------------------- /include/netlistDB/hw_type/ihw_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/hw_type/ihw_type.h -------------------------------------------------------------------------------- /include/netlistDB/hw_type/ihw_type_value.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/hw_type/ihw_type_value.h -------------------------------------------------------------------------------- /include/netlistDB/inode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/inode.h -------------------------------------------------------------------------------- /include/netlistDB/netlist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/netlist.h -------------------------------------------------------------------------------- /include/netlistDB/operator_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/operator_defs.h -------------------------------------------------------------------------------- /include/netlistDB/query/backtrack_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/backtrack_context.h -------------------------------------------------------------------------------- /include/netlistDB/query/expr_sensitivity_probe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/expr_sensitivity_probe.h -------------------------------------------------------------------------------- /include/netlistDB/query/query_enclosure.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/query_enclosure.h -------------------------------------------------------------------------------- /include/netlistDB/query/query_match.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/query_match.h -------------------------------------------------------------------------------- /include/netlistDB/query/query_path.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/query_path.h -------------------------------------------------------------------------------- /include/netlistDB/query/query_public_net.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/query_public_net.h -------------------------------------------------------------------------------- /include/netlistDB/query/query_sensitivity.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/query_sensitivity.h -------------------------------------------------------------------------------- /include/netlistDB/query/query_structural_cmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/query_structural_cmp.h -------------------------------------------------------------------------------- /include/netlistDB/query/query_structural_compatible.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/query_structural_compatible.h -------------------------------------------------------------------------------- /include/netlistDB/query/query_traverse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/query_traverse.h -------------------------------------------------------------------------------- /include/netlistDB/query/statement_visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/query/statement_visitor.h -------------------------------------------------------------------------------- /include/netlistDB/serializer/namescope.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/serializer/namescope.h -------------------------------------------------------------------------------- /include/netlistDB/serializer/serialization_io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/serializer/serialization_io.h -------------------------------------------------------------------------------- /include/netlistDB/serializer/serializer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/serializer/serializer.h -------------------------------------------------------------------------------- /include/netlistDB/serializer/verilog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/serializer/verilog.h -------------------------------------------------------------------------------- /include/netlistDB/serializer/verilog_tmp_var_extractor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/serializer/verilog_tmp_var_extractor.h -------------------------------------------------------------------------------- /include/netlistDB/statement_assignment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/statement_assignment.h -------------------------------------------------------------------------------- /include/netlistDB/statement_hwprocess.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/statement_hwprocess.h -------------------------------------------------------------------------------- /include/netlistDB/statement_if.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/statement_if.h -------------------------------------------------------------------------------- /include/netlistDB/transform/indexed_assignment_to_assignment_of_concat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/transform/indexed_assignment_to_assignment_of_concat.h -------------------------------------------------------------------------------- /include/netlistDB/transform/mark_inter_process_nets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/transform/mark_inter_process_nets.h -------------------------------------------------------------------------------- /include/netlistDB/transform/normalize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/transform/normalize.h -------------------------------------------------------------------------------- /include/netlistDB/transform/reduce_statement.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/transform/reduce_statement.h -------------------------------------------------------------------------------- /include/netlistDB/transform/remove_by_mask.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/transform/remove_by_mask.h -------------------------------------------------------------------------------- /include/netlistDB/transform/remove_useless.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/transform/remove_useless.h -------------------------------------------------------------------------------- /include/netlistDB/transform/statement_to_hwprocess.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/transform/statement_to_hwprocess.h -------------------------------------------------------------------------------- /include/netlistDB/transform/to_hdl_friendly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/transform/to_hdl_friendly.h -------------------------------------------------------------------------------- /include/netlistDB/transform/transformation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/transform/transformation.h -------------------------------------------------------------------------------- /include/netlistDB/usage_cache_key.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/usage_cache_key.h -------------------------------------------------------------------------------- /include/netlistDB/utils/erase_if.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/utils/erase_if.h -------------------------------------------------------------------------------- /include/netlistDB/utils/groupedby.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/utils/groupedby.h -------------------------------------------------------------------------------- /include/netlistDB/utils/ordered_set.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/utils/ordered_set.h -------------------------------------------------------------------------------- /include/netlistDB/utils/sensitivity_ctx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/utils/sensitivity_ctx.h -------------------------------------------------------------------------------- /include/netlistDB/utils/thread_pool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/utils/thread_pool.h -------------------------------------------------------------------------------- /include/netlistDB/utils/timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/utils/timer.h -------------------------------------------------------------------------------- /include/netlistDB/varId.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/include/netlistDB/varId.h -------------------------------------------------------------------------------- /meson.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/meson.build -------------------------------------------------------------------------------- /src/bit_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/bit_utils.cpp -------------------------------------------------------------------------------- /src/component_map.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/component_map.cpp -------------------------------------------------------------------------------- /src/function_call.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/function_call.cpp -------------------------------------------------------------------------------- /src/function_def.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/function_def.cpp -------------------------------------------------------------------------------- /src/hw_type/aint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/hw_type/aint.cpp -------------------------------------------------------------------------------- /src/hw_type/common.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/hw_type/common.cpp -------------------------------------------------------------------------------- /src/hw_type/hw_int.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/hw_type/hw_int.cpp -------------------------------------------------------------------------------- /src/hw_type/hw_int_value.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/hw_type/hw_int_value.cpp -------------------------------------------------------------------------------- /src/hw_type/ihw_type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/hw_type/ihw_type.cpp -------------------------------------------------------------------------------- /src/istatement.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/istatement.cpp -------------------------------------------------------------------------------- /src/meson.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/meson.build -------------------------------------------------------------------------------- /src/net.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/net.cpp -------------------------------------------------------------------------------- /src/netlist.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/netlist.cpp -------------------------------------------------------------------------------- /src/operator_defs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/operator_defs.cpp -------------------------------------------------------------------------------- /src/query/backtrack_context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/backtrack_context.cpp -------------------------------------------------------------------------------- /src/query/expr_sensitivity_probe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/expr_sensitivity_probe.cpp -------------------------------------------------------------------------------- /src/query/query_enclosure.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/query_enclosure.cpp -------------------------------------------------------------------------------- /src/query/query_match.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/query_match.cpp -------------------------------------------------------------------------------- /src/query/query_path.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/query_path.cpp -------------------------------------------------------------------------------- /src/query/query_public_net.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/query_public_net.cpp -------------------------------------------------------------------------------- /src/query/query_sensitivity.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/query_sensitivity.cpp -------------------------------------------------------------------------------- /src/query/query_structural_cmp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/query_structural_cmp.cpp -------------------------------------------------------------------------------- /src/query/query_structural_compatible.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/query_structural_compatible.cpp -------------------------------------------------------------------------------- /src/query/query_traverse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/query_traverse.cpp -------------------------------------------------------------------------------- /src/query/statement_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/query/statement_visitor.cpp -------------------------------------------------------------------------------- /src/serializer/namescope.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/serializer/namescope.cpp -------------------------------------------------------------------------------- /src/serializer/serializer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/serializer/serializer.cpp -------------------------------------------------------------------------------- /src/serializer/serializer_io.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/serializer/serializer_io.cpp -------------------------------------------------------------------------------- /src/serializer/verilog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/serializer/verilog.cpp -------------------------------------------------------------------------------- /src/serializer/verilog_constants.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/serializer/verilog_constants.cpp -------------------------------------------------------------------------------- /src/serializer/verilog_ops.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/serializer/verilog_ops.cpp -------------------------------------------------------------------------------- /src/serializer/verilog_statements.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/serializer/verilog_statements.cpp -------------------------------------------------------------------------------- /src/serializer/verilog_structural.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/serializer/verilog_structural.cpp -------------------------------------------------------------------------------- /src/serializer/verilog_tmp_var_extractor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/serializer/verilog_tmp_var_extractor.cpp -------------------------------------------------------------------------------- /src/statement_assignment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/statement_assignment.cpp -------------------------------------------------------------------------------- /src/statement_hwprocess.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/statement_hwprocess.cpp -------------------------------------------------------------------------------- /src/statement_if.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/statement_if.cpp -------------------------------------------------------------------------------- /src/transform/indexed_assignment_to_assignment_of_concat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/transform/indexed_assignment_to_assignment_of_concat.cpp -------------------------------------------------------------------------------- /src/transform/mark_inter_process_nets.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/transform/mark_inter_process_nets.cpp -------------------------------------------------------------------------------- /src/transform/normalize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/transform/normalize.cpp -------------------------------------------------------------------------------- /src/transform/reduce_statement.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/transform/reduce_statement.cpp -------------------------------------------------------------------------------- /src/transform/remove_by_mask.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/transform/remove_by_mask.cpp -------------------------------------------------------------------------------- /src/transform/remove_useless.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/transform/remove_useless.cpp -------------------------------------------------------------------------------- /src/transform/statement_to_hwprocess.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/transform/statement_to_hwprocess.cpp -------------------------------------------------------------------------------- /src/transform/to_hdl_friendly.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/transform/to_hdl_friendly.cpp -------------------------------------------------------------------------------- /src/utils/thread_pool.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/utils/thread_pool.cpp -------------------------------------------------------------------------------- /src/utils/timer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/src/utils/timer.cpp -------------------------------------------------------------------------------- /tests/basic_query_match_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/basic_query_match_test.cpp -------------------------------------------------------------------------------- /tests/basic_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/basic_test.cpp -------------------------------------------------------------------------------- /tests/components/async_reg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/components/async_reg.h -------------------------------------------------------------------------------- /tests/components/bram.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/components/bram.h -------------------------------------------------------------------------------- /tests/components/ff.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/components/ff.h -------------------------------------------------------------------------------- /tests/components/latch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/components/latch.h -------------------------------------------------------------------------------- /tests/components/mux.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/components/mux.h -------------------------------------------------------------------------------- /tests/components/wire.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/components/wire.h -------------------------------------------------------------------------------- /tests/erase_if_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/erase_if_test.cpp -------------------------------------------------------------------------------- /tests/expr_sensitivity_probe_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/expr_sensitivity_probe_test.cpp -------------------------------------------------------------------------------- /tests/igraph_benchmark.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/igraph_benchmark.cpp -------------------------------------------------------------------------------- /tests/large_query_match_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/large_query_match_test.cpp -------------------------------------------------------------------------------- /tests/meson.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/meson.build -------------------------------------------------------------------------------- /tests/netlist_to_igraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/netlist_to_igraph.cpp -------------------------------------------------------------------------------- /tests/netlist_to_igraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/netlist_to_igraph.h -------------------------------------------------------------------------------- /tests/ordered_set_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/ordered_set_test.cpp -------------------------------------------------------------------------------- /tests/query_enclosure_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/query_enclosure_test.cpp -------------------------------------------------------------------------------- /tests/query_flooding_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/query_flooding_test.cpp -------------------------------------------------------------------------------- /tests/query_sensitivity_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/query_sensitivity_test.cpp -------------------------------------------------------------------------------- /tests/query_structural_cmp_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/query_structural_cmp_test.cpp -------------------------------------------------------------------------------- /tests/query_traverse_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/query_traverse_test.cpp -------------------------------------------------------------------------------- /tests/reduce_statement_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/reduce_statement_test.cpp -------------------------------------------------------------------------------- /tests/statement_assignment_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/statement_assignment_test.cpp -------------------------------------------------------------------------------- /tests/statement_if_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/statement_if_test.cpp -------------------------------------------------------------------------------- /tests/statement_to_hwprocess_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/statement_to_hwprocess_test.cpp -------------------------------------------------------------------------------- /tests/test_graphs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/test_graphs.cpp -------------------------------------------------------------------------------- /tests/test_graphs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/test_graphs.h -------------------------------------------------------------------------------- /tests/thread_pool_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/thread_pool_test.cpp -------------------------------------------------------------------------------- /tests/transform_remove_useless_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/transform_remove_useless_test.cpp -------------------------------------------------------------------------------- /tests/unsigned_val_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/unsigned_val_test.cpp -------------------------------------------------------------------------------- /tests/verilog_basic_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/verilog_basic_test.cpp -------------------------------------------------------------------------------- /tests/verilog_hierarchy_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/verilog_hierarchy_test.cpp -------------------------------------------------------------------------------- /tests/verilog_simple_modules_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HardwareIR/netlistDB/HEAD/tests/verilog_simple_modules_test.cpp --------------------------------------------------------------------------------