Command Reference Command Command abc cmd abc9 cmd abc9_exe cmd abc9_ops cmd abc_new cmd add cmd aigmap cmd alumacc cmd anlogic_eqn cmd anlogic_fixcarry cmd assertpmux cmd async2sync cmd attrmap cmd attrmvcp cmd autoname cmd blackbox cmd bmuxmap cmd booth cmd box_derive cmd bufnorm cmd bugpoint cmd bwmuxmap cmd cd cmd cellmatch cmd check cmd chformal cmd chparam cmd chtype cmd clean cmd clean_zerowidth cmd clk2fflogic cmd clkbufmap cmd clockgate cmd connect cmd connect_rpc cmd connwrappers cmd coolrunner2_fixup cmd coolrunner2_sop cmd copy cmd cover cmd cutpoint cmd debug cmd delete cmd deminout cmd demuxmap cmd design cmd dffinit cmd dfflegalize cmd dfflibmap cmd dffunmap cmd dft_tag cmd dump cmd echo cmd edgetypes cmd efinix_fixcarry cmd equiv_add cmd equiv_induct cmd equiv_make cmd equiv_mark cmd equiv_miter cmd equiv_opt cmd equiv_purge cmd equiv_remove cmd equiv_simple cmd equiv_status cmd equiv_struct cmd eval cmd example_dt cmd exec cmd expose cmd extract cmd extract_counter cmd extract_fa cmd extract_reduce cmd extractinv cmd flatten cmd flowmap cmd fmcombine cmd fminit cmd formalff cmd freduce cmd fsm cmd fsm_detect cmd fsm_expand cmd fsm_export cmd fsm_extract cmd fsm_info cmd fsm_map cmd fsm_opt cmd fsm_recode cmd fst2tb cmd future cmd gatemate_foldinv cmd glift cmd greenpak4_dffinv cmd help cmd hierarchy cmd hilomap cmd history cmd ice40_braminit cmd ice40_dsp cmd ice40_opt cmd ice40_wrapcarry cmd insbuf cmd internal_stats cmd iopadmap cmd jny cmd json cmd keep_hierarchy cmd lattice_gsr cmd license cmd log cmd logger cmd ls cmd ltp cmd lut2mux cmd maccmap cmd memory cmd memory_bmux2rom cmd memory_bram cmd memory_collect cmd memory_dff cmd memory_libmap cmd memory_map cmd memory_memx cmd memory_narrow cmd memory_nordff cmd memory_share cmd memory_unpack cmd microchip_dffopt cmd microchip_dsp cmd miter cmd mutate cmd muxcover cmd muxpack cmd nlutmap cmd nx_carry cmd onehot cmd opt cmd opt_clean cmd opt_demorgan cmd opt_dff cmd opt_expr cmd opt_ffinv cmd opt_lut cmd opt_lut_ins cmd opt_mem cmd opt_mem_feedback cmd opt_mem_priority cmd opt_mem_widen cmd opt_merge cmd opt_muxtree cmd opt_reduce cmd opt_share cmd paramap cmd peepopt cmd plugin cmd pmux2shiftx cmd pmuxtree cmd portlist cmd prep cmd printattrs cmd proc cmd proc_arst cmd proc_clean cmd proc_dff cmd proc_dlatch cmd proc_init cmd proc_memwr cmd proc_mux cmd proc_prune cmd proc_rmdead cmd proc_rom cmd qbfsat cmd ql_bram_merge cmd ql_bram_types cmd ql_dsp_io_regs cmd ql_dsp_macc cmd ql_dsp_simd cmd read cmd read_aiger cmd read_blif cmd read_ilang cmd read_json cmd read_liberty cmd read_rtlil cmd read_verilog cmd read_xaiger2 cmd recover_names cmd rename cmd rmports cmd sat cmd scatter cmd scc cmd scratchpad cmd script cmd select cmd setattr cmd setparam cmd setundef cmd share cmd shell cmd show cmd shregmap cmd sim cmd simplemap cmd splice cmd splitcells cmd splitnets cmd sta cmd stat cmd submod cmd supercover cmd synth cmd synth_achronix cmd synth_anlogic cmd synth_coolrunner2 cmd synth_easic cmd synth_ecp5 cmd synth_efinix cmd synth_fabulous cmd synth_gatemate cmd synth_gowin cmd synth_greenpak4 cmd synth_ice40 cmd synth_intel cmd synth_intel_alm cmd synth_lattice cmd synth_microchip cmd synth_nanoxplore cmd synth_nexus cmd synth_quicklogic cmd synth_sf2 cmd synth_xilinx cmd synthprop cmd tcl cmd techmap cmd tee cmd test_abcloop cmd test_autotb cmd test_cell cmd test_generic cmd test_pmgen cmd torder cmd trace cmd tribuf cmd uniquify cmd verific cmd verilog_defaults cmd verilog_defines cmd viz cmd wbflip cmd wreduce cmd write_aiger cmd write_aiger2 cmd write_blif cmd write_btor cmd write_cxxrtl cmd write_edif cmd write_file cmd write_firrtl cmd write_functional_cxx cmd write_functional_rosette cmd write_functional_smt2 cmd write_ilang cmd write_intersynth cmd write_jny cmd write_json cmd write_rtlil cmd write_simplec cmd write_smt2 cmd write_smv cmd write_spice cmd write_table cmd write_verilog cmd write_xaiger cmd write_xaiger2 cmd xilinx_dffopt cmd xilinx_dsp cmd xilinx_srl cmd xprop cmd zinit cmd