Google Git
Sign in
foss-fpga-tools / third_party / Surelog / refs/heads/mithro-patch-1 / . / SVIncCompil / Testcases / YosysTests / misc / scripts
tree: ece2b168fa3aa573657f2f154c2383b90da77ac7 [path history] [tgz]
  1. abc9_box.ys
  2. abc9_cant_open_output_file.ys
  3. abc9_D.ys
  4. abc9_fast.ys
  5. abc9_invalid_luts_syntax.ys
  6. abc9_lut.ys
  7. abc9_luts.ys
  8. abc9_markgroups.ys
  9. abc9_nocleanup.ys
  10. abc9_script.ys
  11. abc9_showtmp.ys
  12. abc9_W.ys
  13. abc9_wo_proc.ys
  14. abc9_wo_synth.ys
  15. abc_cannot_open.ys
  16. abc_clk_domain_not_found.ys
  17. abc_constr_liberty.ys
  18. abc_constr_no_liberty.ys
  19. abc_D.ys
  20. abc_dff.ys
  21. abc_g_aig.ys
  22. abc_g_cmos.ys
  23. abc_g_cmos2.ys
  24. abc_g_simple.ys
  25. abc_inv_luts_synt.ys
  26. abc_lut_liberty.ys
  27. abc_mux16.ys
  28. abc_mux4.ys
  29. abc_mux8.ys
  30. abc_return_code.ys
  31. abc_S.ys
  32. abc_script_o.ys
  33. abc_script_top.ys
  34. abc_unsup_gate_type.ys
  35. add.ys
  36. add_error.ys
  37. add_global_input.ys
  38. add_inout.ys
  39. add_input.ys
  40. add_output.ys
  41. add_wire.ys
  42. assertpmux.ys
  43. assertpmux_always.ys
  44. assertpmux_noinit.ys
  45. blackbox.ys
  46. blackbox_top.ys
  47. bugpoint.ys
  48. bugpoint_cells.ys
  49. bugpoint_clean.ys
  50. bugpoint_connections.ys
  51. bugpoint_do_not_crash.ys
  52. bugpoint_fast.ys
  53. bugpoint_fully_selected_des.ys
  54. bugpoint_grep.ys
  55. bugpoint_grep_string_not_found.ys
  56. bugpoint_missing_script.ys
  57. bugpoint_modules.ys
  58. bugpoint_ports.ys
  59. bugpoint_script.ys
  60. bugpoint_yosys.ys
  61. check.ys
  62. check_assert.ys
  63. check_error.ys
  64. check_initdrv.ys
  65. check_noinit.ys
  66. chformal.ys
  67. chformal_assert.ys
  68. chformal_assert2assume.ys
  69. chformal_assume.ys
  70. chformal_assume2assert.ys
  71. chformal_cover.ys
  72. chformal_delay.ys
  73. chformal_early.ys
  74. chformal_error.ys
  75. chformal_fair.ys
  76. chformal_fair2live.ys
  77. chformal_fair2live_assert2assume.ys
  78. chformal_ff.ys
  79. chformal_live.ys
  80. chformal_live2fair.ys
  81. chformal_proc_early.ys
  82. chformal_skip.ys
  83. chparam.ys
  84. chparam_error.ys
  85. chparam_list.ys
  86. chparam_set.ys
  87. chparam_top.ys
  88. chtype.ys
  89. chtype_map.ys
  90. chtype_selection.ys
  91. chtype_set.ys
  92. connect_cannot_parse_set_lhs_expr.ys
  93. connect_cannot_parse_set_rhs_expr.ys
  94. connect_cant_find_cell.ys
  95. connect_failed_parse_unset.ys
  96. connect_failed_to_parse_port_expr.ys
  97. connect_found_process.ys
  98. connect_multiple_modules.ys
  99. connect_no_modules.ys
  100. connect_nomap_port.ys
  101. connect_nomap_set.ys
  102. connect_nomap_unset.ys
  103. connect_nounset_set.ys
  104. connect_opt_expected.ys
  105. connect_port.ys
  106. connect_port_with_nounset.ys
  107. connect_set.ys
  108. connect_set_with_port.ys
  109. connect_set_with_unset.ys
  110. connect_set_with_unset_and_port.ys
  111. connect_unset.ys
  112. connect_unset_with_nounset.ys
  113. connect_unset_with_nounset_and_port.ys
  114. connect_unset_with_port.ys
  115. connwrappers.ys
  116. connwrappers_port.ys
  117. connwrappers_signed.ys
  118. connwrappers_unsigned.ys
  119. cover.ys
  120. cover_a.ys
  121. cover_cant_create_file.ys
  122. cover_dir.ys
  123. cover_o.ys
  124. cover_q.ys
  125. cutpoint.ys
  126. cutpoint_undef.ys
  127. debug.ys
  128. delete.ys
  129. delete_cell.ys
  130. delete_input.ys
  131. delete_mem.ys
  132. delete_output.ys
  133. delete_port.ys
  134. delete_proc.ys
  135. delete_wire.ys
  136. design_as.ys
  137. design_copy_from.ys
  138. design_copy_to.ys
  139. design_import.ys
  140. design_no_pushed_design.ys
  141. design_no_saved_design_copy_from.ys
  142. design_no_saved_design_import.ys
  143. design_no_saved_design_load.ys
  144. design_no_top_module.ys
  145. echo.ys
  146. echo_off.ys
  147. echo_on.ys
  148. edgetypes.ys
  149. eval.ys
  150. eval_brute_force_equiv_checker.ys
  151. eval_cant_find_input.ys
  152. eval_cant_find_mod_1.ys
  153. eval_cant_find_mod_2.ys
  154. eval_cant_find_mod_in_curr_des.ys
  155. eval_cant_find_mod_in_curr_dess.ys
  156. eval_diff_lhs_rhs_sizes.ys
  157. eval_empty_selection.ys
  158. eval_failed_to_parse_lhs.ys
  159. eval_failed_to_parse_pattern.ys
  160. eval_failed_to_parse_rhs.ys
  161. eval_failed_to_parse_show_expr.ys
  162. eval_failed_to_parse_table_expr.ys
  163. eval_has_no_counterpart.ys
  164. eval_mods_arent_equiv.ys
  165. eval_no_output_wire.ys
  166. eval_only_one_module.ys
  167. eval_pattern_is_to_short.ys
  168. eval_port_doesnt_match.ys
  169. eval_rhs_expr.ys
  170. eval_set.ys
  171. eval_set_undef.ys
  172. eval_show.ys
  173. eval_show_not_set.ys
  174. eval_table.ys
  175. eval_table_set.ys
  176. eval_two_distinct_solutions.ys
  177. eval_vloghammer_report.ys
  178. eval_vloghammer_report_rtl.ys
  179. eval_wire_isnt_an_input.ys
  180. fmcombine.ys
  181. fmcombine_anyeq.ys
  182. fmcombine_bwd.ys
  183. fmcombine_bwd_fwd.ys
  184. fmcombine_fwd.ys
  185. fmcombine_gate_cell_not_found.ys
  186. fmcombine_gold_cell_not_found.ys
  187. fmcombine_initeq.ys
  188. fmcombine_invalid_number_of_param.ys
  189. fmcombine_module_not_found.ys
  190. fmcombine_nop.ys
  191. fmcombine_nop_with_bwd.ys
  192. fmcombine_nop_with_fwd.ys
  193. fmcombine_nop_with_fwd_bwd.ys
  194. fmcombine_types_not_match.ys
  195. freduce.ys
  196. freduce_dump.ys
  197. freduce_inv.ys
  198. freduce_logic_loop.ys
  199. freduce_stop.ys
  200. freduce_v.ys
  201. freduce_vv.ys
  202. help.ys
  203. help_all.ys
  204. help_cells.ys
  205. help_celltype.ys
  206. help_celltype_plus.ys
  207. help_command.ys
  208. help_no_such_command.ys
  209. hilomap.ys
  210. hilomap_hicell.ys
  211. hilomap_hicell_locell_singleton.ys
  212. hilomap_hicell_singleton.ys
  213. hilomap_locell.ys
  214. hilomap_locell_singleton.ys
  215. hilomap_singleton.ys
  216. history.ys
  217. insbuf.ys
  218. insbuf_cell.ys
  219. log.ys
  220. log_n.ys
  221. log_nolog.ys
  222. log_stderr.ys
  223. log_stdout.ys
  224. ltp.ys
  225. ltp_noff.ys
  226. miter_assert.ys
  227. miter_assert_flatten.ys
  228. miter_cant_find_gate_module.ys
  229. miter_cant_find_gold_module.ys
  230. miter_cant_find_module.ys
  231. miter_missing_mode_param.ys
  232. miter_no_match_in_gate.ys
  233. miter_no_match_in_gold.ys
  234. miter_there_is_already_a_module.ys
  235. mutate_all.ys
  236. mutate_cnot0.ys
  237. mutate_cnot1.ys
  238. mutate_const0.ys
  239. mutate_const1.ys
  240. mutate_error.ys
  241. mutate_inv.ys
  242. mutate_list.ys
  243. mutate_list_cfg.ys
  244. mutate_list_ctrl.ys
  245. mutate_list_none.ys
  246. mutate_list_o.ys
  247. mutate_list_s.ys
  248. mutate_list_seed.ys
  249. muxpack.ys
  250. onehot.ys
  251. onehot_v.ys
  252. onehot_vv.ys
  253. opt_rmdff_sat.ys
  254. plugin.ys
  255. plugin_a.ys
  256. plugin_error.ys
  257. plugin_i.ys
  258. plugin_l.ys
  259. pmux2shiftx.ys
  260. pmux2shiftx_min_choices_0.ys
  261. pmux2shiftx_min_choices_3000.ys
  262. pmux2shiftx_min_dens_0.ys
  263. pmux2shiftx_min_dens_3000.ys
  264. pmux2shiftx_norange.ys
  265. pmux2shiftx_onehot_ignore.ys
  266. pmux2shiftx_onehot_pmux.ys
  267. pmux2shiftx_onehot_shiftx.ys
  268. pmux2shiftx_top.ys
  269. pmux2shiftx_v.ys
  270. pmux2shiftx_vv.ys
  271. pmuxtree.ys
  272. qwp.ys
  273. qwp_alpha.ys
  274. qwp_dump.ys
  275. qwp_grid.ys
  276. qwp_ltr.ys
  277. qwp_v.ys
  278. rename.ys
  279. rename_enumerate.ys
  280. rename_enumerate_pat.ys
  281. rename_hide.ys
  282. rename_invalid_number_of_args.ys
  283. rename_invalid_number_of_args_top.ys
  284. rename_low.ys
  285. rename_mode_out_requires.ys
  286. rename_no_top_module.ys
  287. rename_obj_not_found.ys
  288. rename_src.ys
  289. rename_top.ys
  290. rename_top_top.ys
  291. rename_wire.ys
  292. rmports.ys
  293. sat.ys
  294. sat_all.ys
  295. sat_all_with_tempinduct.ys
  296. sat_cant_open_json_file.ys
  297. sat_cant_open_vcd_file.ys
  298. sat_cant_perform_sat_on_empty_sel.ys
  299. sat_cnf_open_json_file.ys
  300. sat_dump_cnf.ys
  301. sat_dump_json.ys
  302. sat_dump_vcd.ys
  303. sat_enable_undef.ys
  304. sat_failed_to_import_cell.ys
  305. sat_falsify.ys
  306. sat_falsify_fail.ys
  307. sat_falsify_no_timeout.ys
  308. sat_got_tempinduct_but_nothing_to_prove.ys
  309. sat_ignore_div_by_zero.ys
  310. sat_ignore_unknown_cells.ys
  311. sat_initsteps.ys
  312. sat_max.ys
  313. sat_max_all_with_tempinduct.ys
  314. sat_max_max_undef_with_tempinduct.ys
  315. sat_max_maxundef_all_with_tempinduct.ys
  316. sat_max_maxundef_with_tempinduct.ys
  317. sat_max_undef.ys
  318. sat_max_with_tempinduct.ys
  319. sat_maxsteps.ys
  320. sat_maxsteps_only_for_tempinduct.ys
  321. sat_maxundef_with_tempinduct.ys
  322. sat_only_one_module_must_be_sel.ys
  323. sat_prove.ys
  324. sat_prove_and_tempinduct.ys
  325. sat_prove_asserts.ys
  326. sat_prove_diff_size.ys
  327. sat_prove_lhs_fail.ys
  328. sat_prove_rhs_fail.ys
  329. sat_prove_skip.ys
  330. sat_prove_skip_must_be_smaller_than_seq.ys
  331. sat_prove_x.ys
  332. sat_provex_diff_size.ys
  333. sat_provex_lhs_fail.ys
  334. sat_provex_rhs_fail.ys
  335. sat_seq.ys
  336. sat_set.ys
  337. sat_set_all_undef.ys
  338. sat_set_all_undef_at.ys
  339. sat_set_all_undef_at_fail.ys
  340. sat_set_all_undef_fail.ys
  341. sat_set_any_undef.ys
  342. sat_set_any_undef_at.ys
  343. sat_set_any_undef_at_fail.ys
  344. sat_set_any_undef_fail.ys
  345. sat_set_assumes.ys
  346. sat_set_at.ys
  347. sat_set_at_diff_size.ys
  348. sat_set_at_lhs_fail.ys
  349. sat_set_at_rhs_fail.ys
  350. sat_set_def.ys
  351. sat_set_def_at.ys
  352. sat_set_def_at_fail.ys
  353. sat_set_def_fail.ys
  354. sat_set_def_inputs.ys
  355. sat_set_diff_size.ys
  356. sat_set_init.ys
  357. sat_set_init_def.ys
  358. sat_set_init_undef.ys
  359. sat_set_init_zero.ys
  360. sat_set_lhs_fail.ys
  361. sat_set_rhs_fail.ys
  362. sat_show.ys
  363. sat_show_all.ys
  364. sat_show_fail.ys
  365. sat_show_inputs.ys
  366. sat_show_outputs.ys
  367. sat_show_ports.ys
  368. sat_show_public.ys
  369. sat_show_regs.ys
  370. sat_si_def_undef.ys
  371. sat_si_def_undef_zero.ys
  372. sat_si_def_zero.ys
  373. sat_si_undef_zero.ys
  374. sat_stepsize.ys
  375. sat_tempinduct.ys
  376. sat_tempinduct_baseonly.ys
  377. sat_tempinduct_baseonly_maxsteps.ys
  378. sat_tempinduct_def.ys
  379. sat_tempinduct_inductonly.ys
  380. sat_tempinduct_skip.ys
  381. sat_tempinduct_tempinduct_baseonly.ys
  382. sat_tempinduct_tempinduct_def.ys
  383. sat_timeout.ys
  384. sat_unset_at.ys
  385. sat_unset_at_fail.ys
  386. sat_verify.ys
  387. sat_verify_fail.ys
  388. sat_verify_no_timeout.ys
  389. scatter.ys
  390. scc.ys
  391. scc_all_cell_types.ys
  392. scc_expect.ys
  393. scc_expect1.ys
  394. scc_max_depth.ys
  395. scc_nofeedback.ys
  396. scc_select.ys
  397. scc_set_attr.ys
  398. script.ys
  399. script_from_to.ys
  400. script_scriptwire.ys
  401. select.ys
  402. select_%.ys
  403. select_%a.ys
  404. select_%C.ys
  405. select_%c.ys
  406. select_%ci.ys
  407. select_%cie.ys
  408. select_%co.ys
  409. select_%coe.ys
  410. select_%i.ys
  411. select_%M.ys
  412. select_%m.ys
  413. select_%n.ys
  414. select_%R.ys
  415. select_%R4.ys
  416. select_%s.ys
  417. select_%u.ys
  418. select_%x_%D.ys
  419. select_%x_%d.ys
  420. select_%xe.ys
  421. select_add.ys
  422. select_add_A.ys
  423. select_add_a.ys
  424. select_add_A_eq.ys
  425. select_add_a_eq.ys
  426. select_add_A_less.ys
  427. select_add_a_less.ys
  428. select_add_A_lesseq.ys
  429. select_add_a_lesseq.ys
  430. select_add_A_more.ys
  431. select_add_a_more.ys
  432. select_add_A_moreeq.ys
  433. select_add_a_moreeq.ys
  434. select_add_all.ys
  435. select_add_c.ys
  436. select_add_i.ys
  437. select_add_m.ys
  438. select_add_mid.ys
  439. select_add_n.ys
  440. select_add_o.ys
  441. select_add_obj.ys
  442. select_add_p.ys
  443. select_add_r.ys
  444. select_add_r_eq.ys
  445. select_add_r_less.ys
  446. select_add_r_lesseq.ys
  447. select_add_r_more.ys
  448. select_add_r_moreeq.ys
  449. select_add_s.ys
  450. select_add_ss.ys
  451. select_add_t.ys
  452. select_add_w.ys
  453. select_add_with_del.ys
  454. select_add_x.ys
  455. select_all.ys
  456. select_assert_any.ys
  457. select_assert_any_failed.ys
  458. select_assert_any_with_count.ys
  459. select_assert_count.ys
  460. select_assert_count_failed.ys
  461. select_assert_count_mem.ys
  462. select_assert_list_with_assert_max.ys
  463. select_assert_list_with_del.ys
  464. select_assert_max.ys
  465. select_assert_max_failed.ys
  466. select_assert_max_mem.ys
  467. select_assert_max_with_del.ys
  468. select_assert_min.ys
  469. select_assert_min_failed.ys
  470. select_assert_none.ys
  471. select_assert_none_failed.ys
  472. select_assert_none_with_min.ys
  473. select_cant_open_for_reading.ys
  474. select_cant_open_for_writing.ys
  475. select_cd.ys
  476. select_cd_invalid_number_of_args.ys
  477. select_cd_module.ys
  478. select_cd_no_such_module.ys
  479. select_cd_up.ys
  480. select_clear.ys
  481. select_clear_with_other_opt.ys
  482. select_count.ys
  483. select_count_with_assert_min.ys
  484. select_count_with_assert_none.ys
  485. select_del.ys
  486. select_error_in_expand_op.ys
  487. select_list.ys
  488. select_ls.ys
  489. select_ls_top.ys
  490. select_module.ys
  491. select_module_mem.ys
  492. select_no_sel_to_check_as_any.ys
  493. select_no_sel_to_check_as_count.ys
  494. select_no_sel_to_check_as_max.ys
  495. select_no_sel_to_check_as_min.ys
  496. select_no_sel_to_check_as_none.ys
  497. select_no_such_module.ys
  498. select_none.ys
  499. select_none_with_other_opt.ys
  500. select_nothing_to_add.ys
  501. select_nothing_to_del.ys
  502. select_one_elem_for__a.ys
  503. select_one_elem_for__C.ys
  504. select_one_elem_for__c.ys
  505. select_one_elem_for__ci.ys
  506. select_one_elem_for__cie.ys
  507. select_one_elem_for__co.ys
  508. select_one_elem_for__coe.ys
  509. select_one_elem_for__D.ys
  510. select_one_elem_for__d.ys
  511. select_one_elem_for__i.ys
  512. select_one_elem_for__M.ys
  513. select_one_elem_for__m.ys
  514. select_one_elem_for__n.ys
  515. select_one_elem_for__R.ys
  516. select_one_elem_for__s.ys
  517. select_one_elem_for__u.ys
  518. select_one_elem_for__x.ys
  519. select_one_elem_for__xe.ys
  520. select_read.ys
  521. select_read_with_selection_expr.ys
  522. select_selection_isnt_defined.ys
  523. select_set.ys
  524. select_set_with_assert_any.ys
  525. select_set_with_assert_max.ys
  526. select_set_with_count.ys
  527. select_set_with_del.ys
  528. select_set_with_list.ys
  529. select_unknown_opt.ys
  530. select_unknown_selection.ys
  531. select_write.ys
  532. select_write_with_assert_count.ys
  533. select_write_with_del.ys
  534. setattr.ys
  535. setattr_cant_decode_value.ys
  536. setattr_mod.ys
  537. setattr_set.ys
  538. setattr_set_proc.ys
  539. setattr_top.ys
  540. setattr_unset.ys
  541. setparam.ys
  542. setparam_set.ys
  543. setparam_top.ys
  544. setparam_type.ys
  545. setparam_unset.ys
  546. setundef_anyconst.ys
  547. setundef_anyseq.ys
  548. setundef_expose.ys
  549. setundef_expose_without_undriven.ys
  550. setundef_init.ys
  551. setundef_init_with_anyconst.ys
  552. setundef_init_with_anyseq.ys
  553. setundef_one.ys
  554. setundef_one_of_options.ys
  555. setundef_random.ys
  556. setundef_undef.ys
  557. setundef_undriven.ys
  558. setundef_undriven_with_process.ys
  559. show.ys
  560. show_cant_open_dot_file.ys
  561. show_cant_open_lib_file.ys
  562. show_color.ys
  563. show_colorattr.ys
  564. show_colors.ys
  565. show_enum.ys
  566. show_format.ys
  567. show_label.ys
  568. show_lib.ys
  569. show_long.ys
  570. show_nothing_there_to_show.ys
  571. show_notitle.ys
  572. show_only_one_module.ys
  573. show_pause.ys
  574. show_prefix.ys
  575. show_signed.ys
  576. show_stretch.ys
  577. show_viewer.ys
  578. show_width.ys
  579. sim.ys
  580. sim_a.ys
  581. sim_clock.ys
  582. sim_clock_mem.ys
  583. sim_clockn.ys
  584. sim_d.ys
  585. sim_n.ys
  586. sim_reset.ys
  587. sim_resetn.ys
  588. sim_rstlen.ys
  589. sim_vcd.ys
  590. sim_w.ys
  591. sim_zinit.ys
  592. sim_zinit_mem.ys
  593. splice.ys
  594. splice_no_outputs.ys
  595. splice_no_port.ys
  596. splice_port.ys
  597. splice_port_and_no_port.ys
  598. splice_sel_any_bit.ys
  599. splice_sel_by_cell.ys
  600. splice_sel_by_cell_and_sel_any_bit.ys
  601. splice_sel_by_cell_and_sel_by_wire.ys
  602. splice_sel_by_wire.ys
  603. splice_wires.ys
  604. splitnets.ys
  605. splitnets_dpf.ys
  606. splitnets_driver.ys
  607. splitnets_format.ys
  608. splitnets_ports.ys
  609. stat.ys
  610. stat_cant_find_module.ys
  611. stat_cant_open_lib_file.ys
  612. stat_liberty.ys
  613. stat_tech_xilinx.ys
  614. stat_top.ys
  615. stat_unsupported_tech.ys
  616. stat_width.ys
  617. supercover.ys
  618. tcl.ys
  619. tee.ys
  620. tee_a_cant_create_file.ys
  621. tee_o_cant_create_file.ys
  622. test_abcloop.ys
  623. test_abcloop_n.ys
  624. test_abcloop_s.ys
  625. test_autotb.ys
  626. test_autotb_file.ys
  627. test_autotb_n.ys
  628. test_autotb_seed.ys
  629. test_cell.ys
  630. test_cell_aigmap.ys
  631. test_cell_alu.ys
  632. test_cell_cell_type_not_supported.ys
  633. test_cell_const.ys
  634. test_cell_div.ys
  635. test_cell_dont_spec_cell_type_with_f.ys
  636. test_cell_edges.ys
  637. test_cell_f.ys
  638. test_cell_fa.ys
  639. test_cell_failed_to_open.ys
  640. test_cell_lcu.ys
  641. test_cell_lut.ys
  642. test_cell_macc.ys
  643. test_cell_map.ys
  644. test_cell_mux.ys
  645. test_cell_muxdiv.ys
  646. test_cell_n.ys
  647. test_cell_no_cell_t_specified.ys
  648. test_cell_noeval.ys
  649. test_cell_nosat.ys
  650. test_cell_pmux.ys
  651. test_cell_s.ys
  652. test_cell_script.ys
  653. test_cell_simlib.ys
  654. test_cell_sop.ys
  655. test_cell_unexpected_opt.ys
  656. test_cell_v.ys
  657. test_cell_vlog.ys
  658. test_cell_w.ys
  659. test_cell_wo_synth.ys
  660. torder.ys
  661. torder_noautostop.ys
  662. torder_stop.ys
  663. trace.ys
  664. trace_mem.ys
  665. wbflip.ys
  666. wbflip_top.ys
  667. write_file.ys
  668. write_file_a.ys
  669. write_file_a_missing_name.ys
  670. write_file_missing_name.ys