aboutsummaryrefslogtreecommitdiffstats
path: root/tests/hana
ModeNameSize
-rw-r--r--.gitignore12logstatsplain
-rw-r--r--README489logstatsplain
-rw-r--r--hana_vlib.v29439logstatsplain
-rwxr-xr-xrun-test.sh91logstatsplain
-rw-r--r--test_intermout_always_comb_1_test.v182logstatsplain
-rw-r--r--test_intermout_always_comb_3_test.v146logstatsplain
-rw-r--r--test_intermout_always_comb_4_test.v100logstatsplain
-rw-r--r--test_intermout_always_comb_5_test.v179logstatsplain
-rw-r--r--test_intermout_always_ff_3_test.v244logstatsplain
-rw-r--r--test_intermout_always_ff_4_test.v153logstatsplain
-rw-r--r--test_intermout_always_ff_5_test.v173logstatsplain
-rw-r--r--test_intermout_always_ff_6_test.v128logstatsplain
-rw-r--r--test_intermout_always_ff_8_test.v179logstatsplain
-rw-r--r--test_intermout_always_ff_9_test.v313logstatsplain
-rw-r--r--test_intermout_always_latch_1_test.v131logstatsplain
-rw-r--r--test_intermout_bufrm_1_test.v82logstatsplain
-rw-r--r--test_intermout_bufrm_2_test.v148logstatsplain
-rw-r--r--test_intermout_bufrm_6_test.v291logstatsplain
-rw-r--r--test_intermout_bufrm_7_test.v536logstatsplain
-rw-r--r--test_intermout_exprs_add_test.v194logstatsplain
-rw-r--r--test_intermout_exprs_binlogic_test.v279logstatsplain
-rw-r--r--test_intermout_exprs_bitwiseneg_test.v120logstatsplain
-rw-r--r--test_intermout_exprs_buffer_test.v141logstatsplain
-rw-r--r--test_intermout_exprs_condexpr_mux_test.v316logstatsplain
-rw-r--r--test_intermout_exprs_condexpr_tribuf_test.v188logstatsplain
-rw-r--r--test_intermout_exprs_const_test.v103logstatsplain
-rw-r--r--test_intermout_exprs_constshift_test.v254logstatsplain
-rw-r--r--test_intermout_exprs_div_test.v194logstatsplain
-rw-r--r--test_intermout_exprs_logicneg_test.v126logstatsplain
-rw-r--r--test_intermout_exprs_mod_test.v194logstatsplain
-rw-r--r--test_intermout_exprs_mul_test.v194logstatsplain
-rw-r--r--test_intermout_exprs_redand_test.v124logstatsplain
-rw-r--r--test_intermout_exprs_redop_test.v438logstatsplain
-rw-r--r--test_intermout_exprs_sub_test.v194logstatsplain
-rw-r--r--test_intermout_exprs_unaryminus_test.v122logstatsplain
-rw-r--r--test_intermout_exprs_unaryplus_test.v64logstatsplain
-rw-r--r--test_intermout_exprs_varshift_test.v186logstatsplain
-rw-r--r--test_parse2synthtrans_behavopt_1_test.v334logstatsplain
-rw-r--r--test_parse2synthtrans_case_1_test.v601logstatsplain
-rw-r--r--test_parse2synthtrans_contassign_1_test.v100logstatsplain
-rw-r--r--test_parse2synthtrans_module_basic0_test.v23logstatsplain
-rw-r--r--test_parse2synthtrans_operators_1_test.v172logstatsplain
-rw-r--r--test_parse2synthtrans_param_1_test.v89logstatsplain
-rw-r--r--test_parse2synthtrans_port_scalar_1_test.v69logstatsplain
-rw-r--r--test_parse2synthtrans_port_vector_1_test.v162logstatsplain
-rw-r--r--test_parse2synthtrans_v2k_comb_logic_sens_list_test.v150logstatsplain
-rw-r--r--test_parser_constructs_module_basic1_test.v23logstatsplain
-rw-r--r--test_parser_constructs_param_basic0_test.v196logstatsplain
-rw-r--r--test_parser_constructs_port_basic0_test.v137logstatsplain
-rw-r--r--test_parser_directives_define_simpledef_test.v134logstatsplain
-rw-r--r--test_parser_misc_operators_test.v507logstatsplain
-rw-r--r--test_parser_v2k_comb_port_data_type_test.v128logstatsplain
-rw-r--r--test_parser_v2k_comma_sep_sens_list_test.v150logstatsplain
-rw-r--r--test_simulation_always_15_test.v90logstatsplain
-rw-r--r--test_simulation_always_17_test.v182logstatsplain
-rw-r--r--test_simulation_always_18_test.v146logstatsplain
-rw-r--r--test_simulation_always_19_test.v179logstatsplain
-rw-r--r--test_simulation_always_1_test.v78logstatsplain
-rw-r--r--test_simulation_always_20_test.v247logstatsplain
-rw-r--r--test_simulation_always_21_test.v151logstatsplain
-rw-r--r--test_simulation_always_22_test.v128logstatsplain
-rw-r--r--test_simulation_always_23_test.v313logstatsplain
-rw-r--r--test_simulation_always_27_test.v157logstatsplain
-rw-r--r--test_simulation_always_29_test.v134logstatsplain
-rw-r--r--test_simulation_always_31_tt.v1224logstatsplain
-rw-r--r--test_simulation_and_1_test.v79logstatsplain
-rw-r--r--test_simulation_and_2_test.v80logstatsplain
-rw-r--r--test_simulation_and_3_test.v87logstatsplain
-rw-r--r--test_simulation_and_4_test.v89logstatsplain
-rw-r--r--test_simulation_and_5_test.v95logstatsplain
-rw-r--r--test_simulation_and_6_test.v98logstatsplain
-rw-r--r--test_simulation_and_7_test.v95logstatsplain
-rw-r--r--test_simulation_buffer_1_test.v62logstatsplain
-rw-r--r--test_simulation_buffer_2_test.v103logstatsplain
-rw-r--r--test_simulation_buffer_3_test.v91logstatsplain
-rw-r--r--test_simulation_decoder_2_test.v276logstatsplain
-rw-r--r--test_simulation_decoder_3_test.v300logstatsplain
-rw-r--r--test_simulation_decoder_4_test.v393logstatsplain
-rw-r--r--test_simulation_decoder_5_test.v464logstatsplain
-rw-r--r--test_simulation_decoder_6_test.v932logstatsplain
-rw-r--r--test_simulation_decoder_7_test.v2228logstatsplain
-rw-r--r--test_simulation_decoder_8_test.v6389logstatsplain
-rw-r--r--test_simulation_inc_16_test.v79logstatsplain
-rw-r--r--test_simulation_inc_1_test.v66logstatsplain
-rw-r--r--test_simulation_inc_2_test.v77logstatsplain
-rw-r--r--test_simulation_inc_32_test.v79logstatsplain
-rw-r--r--test_simulation_inc_4_test.v77logstatsplain
-rw-r--r--test_simulation_inc_8_test.v77logstatsplain
-rw-r--r--test_simulation_mod_1_xx.v244logstatsplain
-rw-r--r--test_simulation_mux_16_test.v476logstatsplain
-rw-r--r--test_simulation_mux_2_test.v164logstatsplain
-rw-r--r--test_simulation_mux_32_test.v846logstatsplain
-rw-r--r--test_simulation_mux_4_test.v212logstatsplain
-rw-r--r--test_simulation_mux_64_test.v1582logstatsplain
-rw-r--r--test_simulation_mux_8_test.v295logstatsplain
-rw-r--r--test_simulation_nand_1_test.v82logstatsplain
-rw-r--r--test_simulation_nand_3_test.v90logstatsplain
-rw-r--r--test_simulation_nand_4_test.v92logstatsplain
-rw-r--r--test_simulation_nand_5_test.v98logstatsplain
-rw-r--r--test_simulation_nand_6_test.v101logstatsplain
-rw-r--r--test_simulation_nor_1_test.v82logstatsplain
-rw-r--r--test_simulation_nor_2_test.v90logstatsplain
-rw-r--r--test_simulation_nor_3_test.v98logstatsplain
-rw-r--r--test_simulation_nor_4_test.v95logstatsplain
-rw-r--r--test_simulation_opt_constprop_contassign_1_test.v64logstatsplain
-rw-r--r--test_simulation_or_1_test.v79logstatsplain
-rw-r--r--test_simulation_or_2_test.v80logstatsplain
-rw-r--r--test_simulation_or_3_test.v87logstatsplain
-rw-r--r--test_simulation_or_4_test.v89logstatsplain
-rw-r--r--test_simulation_or_5_test.v95logstatsplain
-rw-r--r--test_simulation_or_6_test.v98logstatsplain
-rw-r--r--test_simulation_seq_ff_1_test.v99logstatsplain
-rw-r--r--test_simulation_seq_ff_2_test.v100logstatsplain
-rw-r--r--test_simulation_shifter_left_16_test.v105logstatsplain
-rw-r--r--test_simulation_shifter_left_32_test.v105logstatsplain
-rw-r--r--test_simulation_shifter_left_4_test.v103logstatsplain
-rw-r--r--test_simulation_shifter_left_64_test.v105logstatsplain
-rw-r--r--test_simulation_shifter_left_8_test.v103logstatsplain
-rw-r--r--test_simulation_shifter_right_16_test.v105logstatsplain
-rw-r--r--test_simulation_shifter_right_32_test.v105logstatsplain
-rw-r--r--test_simulation_shifter_right_4_test.v103logstatsplain
-rw-r--r--test_simulation_shifter_right_64_test.v105logstatsplain
-rw-r--r--test_simulation_shifter_right_8_test.v103logstatsplain
-rw-r--r--test_simulation_sop_basic_10_test.v164logstatsplain
-rw-r--r--test_simulation_sop_basic_11_test.v212logstatsplain
-rw-r--r--test_simulation_sop_basic_12_test.v295logstatsplain
-rw-r--r--test_simulation_sop_basic_18_test.v72logstatsplain
-rw-r--r--test_simulation_sop_basic_3_test.v63logstatsplain
-rw-r--r--test_simulation_sop_basic_7_test.v62logstatsplain
-rw-r--r--test_simulation_sop_basic_8_test.v54logstatsplain
-rw-r--r--test_simulation_sop_basic_9_test.v63logstatsplain
-rw-r--r--test_simulation_techmap_and_19_tech.v151logstatsplain
-rw-r--r--test_simulation_techmap_and_5_tech.v74logstatsplain
-rw-r--r--test_simulation_techmap_buf_test.v62logstatsplain
-rw-r--r--test_simulation_techmap_inv_test.v63logstatsplain
-rw-r--r--test_simulation_techmap_mux_0_test.v164logstatsplain
-rw-r--r--test_simulation_techmap_mux_128_test.v3109logstatsplain
-rw-r--r--test_simulation_techmap_mux_8_test.v295logstatsplain
-rw-r--r--test_simulation_techmap_nand_19_tech.v238logstatsplain
-rw-r--r--test_simulation_techmap_nand_2_tech.v238logstatsplain
-rw-r--r--test_simulation_techmap_nand_5_tech.v238logstatsplain
-rw-r--r--test_simulation_techmap_nor_19_tech.v235logstatsplain
-rw-r--r--test_simulation_techmap_nor_2_tech.v235logstatsplain
-rw-r--r--test_simulation_techmap_nor_5_tech.v235logstatsplain
-rw-r--r--test_simulation_techmap_or_19_tech.v149logstatsplain
-rw-r--r--test_simulation_techmap_or_5_tech.v73logstatsplain
-rw-r--r--test_simulation_techmap_xnor_2_tech.v192logstatsplain
-rw-r--r--test_simulation_techmap_xnor_5_tech.v192logstatsplain
-rw-r--r--test_simulation_techmap_xor_19_tech.v84logstatsplain
-rw-r--r--test_simulation_techmap_xor_2_tech.v192logstatsplain
-rw-r--r--test_simulation_techmap_xor_5_tech.v192logstatsplain
-rw-r--r--test_simulation_tribuf_2_test.v105logstatsplain
-rw-r--r--test_simulation_xnor_1_test.v82logstatsplain
-rw-r--r--test_simulation_xnor_2_test.v90logstatsplain
-rw-r--r--test_simulation_xnor_3_test.v98logstatsplain
-rw-r--r--test_simulation_xnor_4_test.v97logstatsplain
-rw-r--r--test_simulation_xor_1_test.v81logstatsplain
-rw-r--r--test_simulation_xor_2_test.v89logstatsplain
-rw-r--r--test_simulation_xor_3_test.v97logstatsplain
-rw-r--r--test_simulation_xor_4_test.v95logstatsplain