summaryrefslogtreecommitdiff
path: root/tests/hana
ModeNameSize
-rw-r--r--.gitignore12logplain
-rw-r--r--README489logplain
-rw-r--r--hana_vlib.v29439logplain
-rwxr-xr-xrun-test.sh91logplain
-rw-r--r--test_intermout_always_comb_1_test.v182logplain
-rw-r--r--test_intermout_always_comb_3_test.v146logplain
-rw-r--r--test_intermout_always_comb_4_test.v100logplain
-rw-r--r--test_intermout_always_comb_5_test.v179logplain
-rw-r--r--test_intermout_always_ff_3_test.v244logplain
-rw-r--r--test_intermout_always_ff_4_test.v153logplain
-rw-r--r--test_intermout_always_ff_5_test.v173logplain
-rw-r--r--test_intermout_always_ff_6_test.v128logplain
-rw-r--r--test_intermout_always_ff_8_test.v179logplain
-rw-r--r--test_intermout_always_ff_9_test.v313logplain
-rw-r--r--test_intermout_always_latch_1_test.v131logplain
-rw-r--r--test_intermout_bufrm_1_test.v82logplain
-rw-r--r--test_intermout_bufrm_2_test.v148logplain
-rw-r--r--test_intermout_bufrm_6_test.v291logplain
-rw-r--r--test_intermout_bufrm_7_test.v536logplain
-rw-r--r--test_intermout_exprs_add_test.v194logplain
-rw-r--r--test_intermout_exprs_binlogic_test.v279logplain
-rw-r--r--test_intermout_exprs_bitwiseneg_test.v120logplain
-rw-r--r--test_intermout_exprs_buffer_test.v141logplain
-rw-r--r--test_intermout_exprs_condexpr_mux_test.v316logplain
-rw-r--r--test_intermout_exprs_condexpr_tribuf_test.v188logplain
-rw-r--r--test_intermout_exprs_const_test.v103logplain
-rw-r--r--test_intermout_exprs_constshift_test.v254logplain
-rw-r--r--test_intermout_exprs_div_test.v194logplain
-rw-r--r--test_intermout_exprs_logicneg_test.v126logplain
-rw-r--r--test_intermout_exprs_mod_test.v194logplain
-rw-r--r--test_intermout_exprs_mul_test.v194logplain
-rw-r--r--test_intermout_exprs_redand_test.v124logplain
-rw-r--r--test_intermout_exprs_redop_test.v438logplain
-rw-r--r--test_intermout_exprs_sub_test.v194logplain
-rw-r--r--test_intermout_exprs_unaryminus_test.v122logplain
-rw-r--r--test_intermout_exprs_unaryplus_test.v64logplain
-rw-r--r--test_intermout_exprs_varshift_test.v186logplain
-rw-r--r--test_parse2synthtrans_behavopt_1_test.v334logplain
-rw-r--r--test_parse2synthtrans_case_1_test.v601logplain
-rw-r--r--test_parse2synthtrans_contassign_1_test.v100logplain
-rw-r--r--test_parse2synthtrans_module_basic0_test.v23logplain
-rw-r--r--test_parse2synthtrans_operators_1_test.v172logplain
-rw-r--r--test_parse2synthtrans_param_1_test.v89logplain
-rw-r--r--test_parse2synthtrans_port_scalar_1_test.v69logplain
-rw-r--r--test_parse2synthtrans_port_vector_1_test.v162logplain
-rw-r--r--test_parse2synthtrans_v2k_comb_logic_sens_list_test.v150logplain
-rw-r--r--test_parser_constructs_module_basic1_test.v23logplain
-rw-r--r--test_parser_constructs_param_basic0_test.v196logplain
-rw-r--r--test_parser_constructs_port_basic0_test.v137logplain
-rw-r--r--test_parser_directives_define_simpledef_test.v134logplain
-rw-r--r--test_parser_misc_operators_test.v507logplain
-rw-r--r--test_parser_v2k_comb_port_data_type_test.v128logplain
-rw-r--r--test_parser_v2k_comma_sep_sens_list_test.v150logplain
-rw-r--r--test_simulation_always_15_test.v90logplain
-rw-r--r--test_simulation_always_17_test.v182logplain
-rw-r--r--test_simulation_always_18_test.v146logplain
-rw-r--r--test_simulation_always_19_test.v179logplain
-rw-r--r--test_simulation_always_1_test.v78logplain
-rw-r--r--test_simulation_always_20_test.v247logplain
-rw-r--r--test_simulation_always_21_test.v151logplain
-rw-r--r--test_simulation_always_22_test.v128logplain
-rw-r--r--test_simulation_always_23_test.v313logplain
-rw-r--r--test_simulation_always_27_test.v157logplain
-rw-r--r--test_simulation_always_29_test.v134logplain
-rw-r--r--test_simulation_always_31_tt.v1224logplain
-rw-r--r--test_simulation_and_1_test.v79logplain
-rw-r--r--test_simulation_and_2_test.v80logplain
-rw-r--r--test_simulation_and_3_test.v87logplain
-rw-r--r--test_simulation_and_4_test.v89logplain
-rw-r--r--test_simulation_and_5_test.v95logplain
-rw-r--r--test_simulation_and_6_test.v98logplain
-rw-r--r--test_simulation_and_7_test.v95logplain
-rw-r--r--test_simulation_buffer_1_test.v62logplain
-rw-r--r--test_simulation_buffer_2_test.v103logplain
-rw-r--r--test_simulation_buffer_3_test.v91logplain
-rw-r--r--test_simulation_decoder_2_test.v276logplain
-rw-r--r--test_simulation_decoder_3_test.v300logplain
-rw-r--r--test_simulation_decoder_4_test.v393logplain
-rw-r--r--test_simulation_decoder_5_test.v464logplain
-rw-r--r--test_simulation_decoder_6_test.v932logplain
-rw-r--r--test_simulation_decoder_7_test.v2228logplain
-rw-r--r--test_simulation_decoder_8_test.v6389logplain
-rw-r--r--test_simulation_inc_16_test.v79logplain
-rw-r--r--test_simulation_inc_1_test.v66logplain
-rw-r--r--test_simulation_inc_2_test.v77logplain
-rw-r--r--test_simulation_inc_32_test.v79logplain
-rw-r--r--test_simulation_inc_4_test.v77logplain
-rw-r--r--test_simulation_inc_8_test.v77logplain
-rw-r--r--test_simulation_mod_1_xx.v244logplain
-rw-r--r--test_simulation_mux_16_test.v476logplain
-rw-r--r--test_simulation_mux_2_test.v164logplain
-rw-r--r--test_simulation_mux_32_test.v846logplain
-rw-r--r--test_simulation_mux_4_test.v212logplain
-rw-r--r--test_simulation_mux_64_test.v1582logplain
-rw-r--r--test_simulation_mux_8_test.v295logplain
-rw-r--r--test_simulation_nand_1_test.v82logplain
-rw-r--r--test_simulation_nand_3_test.v90logplain
-rw-r--r--test_simulation_nand_4_test.v92logplain
-rw-r--r--test_simulation_nand_5_test.v98logplain
-rw-r--r--test_simulation_nand_6_test.v101logplain
-rw-r--r--test_simulation_nor_1_test.v82logplain
-rw-r--r--test_simulation_nor_2_test.v90logplain
-rw-r--r--test_simulation_nor_3_test.v98logplain
-rw-r--r--test_simulation_nor_4_test.v95logplain
-rw-r--r--test_simulation_opt_constprop_contassign_1_test.v64logplain
-rw-r--r--test_simulation_or_1_test.v79logplain
-rw-r--r--test_simulation_or_2_test.v80logplain
-rw-r--r--test_simulation_or_3_test.v87logplain
-rw-r--r--test_simulation_or_4_test.v89logplain
-rw-r--r--test_simulation_or_5_test.v95logplain
-rw-r--r--test_simulation_or_6_test.v98logplain
-rw-r--r--test_simulation_seq_ff_1_test.v99logplain
-rw-r--r--test_simulation_seq_ff_2_test.v100logplain
-rw-r--r--test_simulation_shifter_left_16_test.v105logplain
-rw-r--r--test_simulation_shifter_left_32_test.v105logplain
-rw-r--r--test_simulation_shifter_left_4_test.v103logplain
-rw-r--r--test_simulation_shifter_left_64_test.v105logplain
-rw-r--r--test_simulation_shifter_left_8_test.v103logplain
-rw-r--r--test_simulation_shifter_right_16_test.v105logplain
-rw-r--r--test_simulation_shifter_right_32_test.v105logplain
-rw-r--r--test_simulation_shifter_right_4_test.v103logplain
-rw-r--r--test_simulation_shifter_right_64_test.v105logplain
-rw-r--r--test_simulation_shifter_right_8_test.v103logplain
-rw-r--r--test_simulation_sop_basic_10_test.v164logplain
-rw-r--r--test_simulation_sop_basic_11_test.v212logplain
-rw-r--r--test_simulation_sop_basic_12_test.v295logplain
-rw-r--r--test_simulation_sop_basic_18_test.v72logplain
-rw-r--r--test_simulation_sop_basic_3_test.v63logplain
-rw-r--r--test_simulation_sop_basic_7_test.v62logplain
-rw-r--r--test_simulation_sop_basic_8_test.v54logplain
-rw-r--r--test_simulation_sop_basic_9_test.v63logplain
-rw-r--r--test_simulation_techmap_and_19_tech.v151logplain
-rw-r--r--test_simulation_techmap_and_5_tech.v74logplain
-rw-r--r--test_simulation_techmap_buf_test.v62logplain
-rw-r--r--test_simulation_techmap_inv_test.v63logplain
-rw-r--r--test_simulation_techmap_mux_0_test.v164logplain
-rw-r--r--test_simulation_techmap_mux_128_test.v3109logplain
-rw-r--r--test_simulation_techmap_mux_8_test.v295logplain
-rw-r--r--test_simulation_techmap_nand_19_tech.v238logplain
-rw-r--r--test_simulation_techmap_nand_2_tech.v238logplain
-rw-r--r--test_simulation_techmap_nand_5_tech.v238logplain
-rw-r--r--test_simulation_techmap_nor_19_tech.v235logplain
-rw-r--r--test_simulation_techmap_nor_2_tech.v235logplain
-rw-r--r--test_simulation_techmap_nor_5_tech.v235logplain
-rw-r--r--test_simulation_techmap_or_19_tech.v149logplain
-rw-r--r--test_simulation_techmap_or_5_tech.v73logplain
-rw-r--r--test_simulation_techmap_xnor_2_tech.v192logplain
-rw-r--r--test_simulation_techmap_xnor_5_tech.v192logplain
-rw-r--r--test_simulation_techmap_xor_19_tech.v84logplain
-rw-r--r--test_simulation_techmap_xor_2_tech.v192logplain
-rw-r--r--test_simulation_techmap_xor_5_tech.v192logplain
-rw-r--r--test_simulation_tribuf_2_test.v105logplain
-rw-r--r--test_simulation_xnor_1_test.v82logplain
-rw-r--r--test_simulation_xnor_2_test.v90logplain
-rw-r--r--test_simulation_xnor_3_test.v98logplain
-rw-r--r--test_simulation_xnor_4_test.v97logplain
-rw-r--r--test_simulation_xor_1_test.v81logplain
-rw-r--r--test_simulation_xor_2_test.v89logplain
-rw-r--r--test_simulation_xor_3_test.v97logplain
-rw-r--r--test_simulation_xor_4_test.v95logplain