diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile
index 7580a386ba2b..03ac4ab4f8cd 100644
--- a/cad/yosys/Makefile
+++ b/cad/yosys/Makefile
@@ -1,65 +1,65 @@
 PORTNAME=	yosys
 DISTVERSIONPREFIX=	v
-DISTVERSION=	0.61
+DISTVERSION=	0.62
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Yosys Open SYnthesis Suite
 WWW=		https://yosyshq.net/yosys/ \
 		https://github.com/YosysHQ/yosys
 
 LICENSE=	ISCL
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	abc:cad/abc \
 		bash:shells/bash \
 		cxxopts>0:devel/cxxopts \
 		gawk:lang/gawk
 LIB_DEPENDS=	libffi.so:devel/libffi
 RUN_DEPENDS=	bash:shells/bash \
 		vcd2fst:cad/gtkwave \
 		xdot:x11/py-xdot@${PY_FLAVOR}
 
 TEST_DEPENDS=	iverilog:cad/iverilog
 
 USES=		bison compiler:c++11-lang gmake pkgconfig python readline \
 		shebangfix tcl
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	YosysHQ
 
 SHEBANG_FILES=	backends/smt2/smtbmc.py misc/yosys-config.in
 SHEBANG_GLOB=	*.py *.sh
 
 MAKE_ARGS=	ABCEXTERNAL=abc
 MAKE_ENV=	MAKE=${GMAKE}
 
 TEST_TARGET=	test
 
 BINARY_ALIAS=	python3=${PYTHON_CMD} tclsh=${TCLSH}
 
 OPTIONS_DEFINE=		TCMALLOC
 OPTIONS_DEFAULT=	TCMALLOC YICES # YICES: same as the default in C++ code ; TCMALLOC: should be the same default as in cad/surelog, cad/uhdm because surelog's lib is used in the yosys plugin cad/yosys-systemverilog
 OPTIONS_GROUP=		SOLVERS
 OPTIONS_GROUP_SOLVERS=	CVC5 YICES Z3
 
 CVC5_DESC=	CVC SAT Solver
 SOLVERS_DESC=	Install SAT solvers
 YICES_DESC=	Yices SAT Solver
 Z3_DESC=	Z3 SAT Solver
 
 CVC5_RUN_DEPENDS=	cvc5:math/cvc5
 TCMALLOC_LIB_DEPENDS=	libtcmalloc.so:devel/google-perftools
 TCMALLOC_LDFLAGS=	`pkg-config --libs libtcmalloc`
 YICES_RUN_DEPENDS=	yices_smt2:math/yices
 Z3_RUN_DEPENDS=		z3:math/z3
 
 post-patch:
 	${REINPLACE_CMD} -e '/^CXX =/d; s/^LD = .*/LD = $$(CXX)/' \
 		-e '/^CONFIG/s/clang/${CHOSEN_COMPILER_TYPE}/' \
 		${WRKSRC}/Makefile
 
 post-install:
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/yosys
 
 .include <bsd.port.mk>
diff --git a/cad/yosys/distinfo b/cad/yosys/distinfo
index a8b6c8b01f2c..96a3fb29c3ca 100644
--- a/cad/yosys/distinfo
+++ b/cad/yosys/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1768731226
-SHA256 (YosysHQ-yosys-v0.61_GH0.tar.gz) = 3be9aa2bc72edf17dccaf5ff6c289552d3ed488a16e7bb92db31fd4f7288df7d
-SIZE (YosysHQ-yosys-v0.61_GH0.tar.gz) = 3455431
+TIMESTAMP = 1771263419
+SHA256 (YosysHQ-yosys-v0.62_GH0.tar.gz) = 0490baafec6047232aa9da5e4f0e5d90e37cb5ad4f32753378fc6d9e3efdf743
+SIZE (YosysHQ-yosys-v0.62_GH0.tar.gz) = 3550628
diff --git a/cad/yosys/pkg-plist b/cad/yosys/pkg-plist
index be75e1b4de0d..56a2909f2d03 100644
--- a/cad/yosys/pkg-plist
+++ b/cad/yosys/pkg-plist
@@ -1,323 +1,321 @@
 bin/yosys
 bin/yosys-config
 bin/yosys-filterlib
 bin/yosys-smtbmc
 bin/yosys-witness
 %%DATADIR%%/abc9_map.v
 %%DATADIR%%/abc9_model.v
 %%DATADIR%%/abc9_unmap.v
 %%DATADIR%%/achronix/speedster22i/cells_map.v
 %%DATADIR%%/achronix/speedster22i/cells_sim.v
 %%DATADIR%%/adff2dff.v
 %%DATADIR%%/anlogic/arith_map.v
 %%DATADIR%%/anlogic/brams.txt
 %%DATADIR%%/anlogic/brams_map.v
 %%DATADIR%%/anlogic/cells_map.v
 %%DATADIR%%/anlogic/cells_sim.v
 %%DATADIR%%/anlogic/eagle_bb.v
 %%DATADIR%%/anlogic/lutrams.txt
 %%DATADIR%%/anlogic/lutrams_map.v
 %%DATADIR%%/choices/han-carlson.v
 %%DATADIR%%/choices/kogge-stone.v
 %%DATADIR%%/choices/sklansky.v
 %%DATADIR%%/cmp2lcu.v
 %%DATADIR%%/cmp2lut.v
 %%DATADIR%%/cmp2softlogic.v
 %%DATADIR%%/coolrunner2/cells_counter_map.v
 %%DATADIR%%/coolrunner2/cells_latch.v
 %%DATADIR%%/coolrunner2/cells_sim.v
 %%DATADIR%%/coolrunner2/tff_extract.v
 %%DATADIR%%/coolrunner2/xc2_dff.lib
 %%DATADIR%%/dff2ff.v
 %%DATADIR%%/ecp5/ccu2c_sim.vh
 %%DATADIR%%/ecp5/cells_bb.v
 %%DATADIR%%/ecp5/cells_ff.vh
 %%DATADIR%%/ecp5/cells_io.vh
 %%DATADIR%%/ecp5/cells_sim.v
 %%DATADIR%%/ecp5/common_sim.vh
 %%DATADIR%%/efinix/arith_map.v
 %%DATADIR%%/efinix/brams.txt
 %%DATADIR%%/efinix/brams_map.v
 %%DATADIR%%/efinix/cells_map.v
 %%DATADIR%%/efinix/cells_sim.v
 %%DATADIR%%/efinix/gbuf_map.v
 %%DATADIR%%/fabulous/arith_map.v
 %%DATADIR%%/fabulous/cells_map.v
 %%DATADIR%%/fabulous/ff_map.v
 %%DATADIR%%/fabulous/io_map.v
 %%DATADIR%%/fabulous/latches_map.v
 %%DATADIR%%/fabulous/prims.v
 %%DATADIR%%/fabulous/ram_regfile.txt
 %%DATADIR%%/fabulous/regfile_map.v
 %%DATADIR%%/gate2lut.v
 %%DATADIR%%/gatemate/arith_map.v
 %%DATADIR%%/gatemate/brams.txt
 %%DATADIR%%/gatemate/brams_init_20.vh
 %%DATADIR%%/gatemate/brams_init_40.vh
 %%DATADIR%%/gatemate/brams_map.v
 %%DATADIR%%/gatemate/cells_bb.v
 %%DATADIR%%/gatemate/cells_sim.v
 %%DATADIR%%/gatemate/inv_map.v
 %%DATADIR%%/gatemate/lut_map.v
 %%DATADIR%%/gatemate/lut_tree_cells.genlib
 %%DATADIR%%/gatemate/lut_tree_map.v
 %%DATADIR%%/gatemate/mul_map.v
 %%DATADIR%%/gatemate/mux_map.v
 %%DATADIR%%/gatemate/reg_map.v
 %%DATADIR%%/gowin/arith_map.v
 %%DATADIR%%/gowin/brams.txt
 %%DATADIR%%/gowin/brams_map.v
 %%DATADIR%%/gowin/brams_map_gw5a.v
 %%DATADIR%%/gowin/cells_map.v
 %%DATADIR%%/gowin/cells_sim.v
 %%DATADIR%%/gowin/cells_xtra_gw1n.v
 %%DATADIR%%/gowin/cells_xtra_gw2a.v
 %%DATADIR%%/gowin/cells_xtra_gw5a.v
 %%DATADIR%%/gowin/lutrams.txt
 %%DATADIR%%/gowin/lutrams_map.v
 %%DATADIR%%/greenpak4/cells_blackbox.v
 %%DATADIR%%/greenpak4/cells_latch.v
 %%DATADIR%%/greenpak4/cells_map.v
 %%DATADIR%%/greenpak4/cells_sim.v
 %%DATADIR%%/greenpak4/cells_sim_ams.v
 %%DATADIR%%/greenpak4/cells_sim_digital.v
 %%DATADIR%%/greenpak4/cells_sim_wip.v
 %%DATADIR%%/greenpak4/gp_dff.lib
 %%DATADIR%%/ice40/abc9_model.v
 %%DATADIR%%/ice40/arith_map.v
 %%DATADIR%%/ice40/brams.txt
 %%DATADIR%%/ice40/brams_map.v
 %%DATADIR%%/ice40/cells_map.v
 %%DATADIR%%/ice40/cells_sim.v
 %%DATADIR%%/ice40/dsp_map.v
 %%DATADIR%%/ice40/ff_map.v
 %%DATADIR%%/ice40/latches_map.v
 %%DATADIR%%/ice40/spram.txt
 %%DATADIR%%/ice40/spram_map.v
 %%DATADIR%%/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.cc
 %%DATADIR%%/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.h
 %%DATADIR%%/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.cc
 %%DATADIR%%/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.h
 %%DATADIR%%/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl.h
 %%DATADIR%%/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl_replay.h
 %%DATADIR%%/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl_time.h
 %%DATADIR%%/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl_vcd.h
 %%DATADIR%%/include/backends/rtlil/rtlil_backend.h
-%%DATADIR%%/include/frontends/ast/ast.h
-%%DATADIR%%/include/frontends/ast/ast_binding.h
 %%DATADIR%%/include/frontends/blif/blifparse.h
 %%DATADIR%%/include/kernel/binding.h
 %%DATADIR%%/include/kernel/bitpattern.h
 %%DATADIR%%/include/kernel/cellaigs.h
 %%DATADIR%%/include/kernel/celledges.h
 %%DATADIR%%/include/kernel/celltypes.h
 %%DATADIR%%/include/kernel/consteval.h
 %%DATADIR%%/include/kernel/constids.inc
 %%DATADIR%%/include/kernel/cost.h
 %%DATADIR%%/include/kernel/drivertools.h
 %%DATADIR%%/include/kernel/ff.h
 %%DATADIR%%/include/kernel/ffinit.h
 %%DATADIR%%/include/kernel/ffmerge.h
 %%DATADIR%%/include/kernel/fmt.h
 %%DATADIR%%/include/kernel/fstdata.h
 %%DATADIR%%/include/kernel/gzip.h
 %%DATADIR%%/include/kernel/hashlib.h
 %%DATADIR%%/include/kernel/io.h
 %%DATADIR%%/include/kernel/json.h
 %%DATADIR%%/include/kernel/log.h
 %%DATADIR%%/include/kernel/macc.h
 %%DATADIR%%/include/kernel/mem.h
 %%DATADIR%%/include/kernel/modtools.h
 %%DATADIR%%/include/kernel/qcsat.h
 %%DATADIR%%/include/kernel/register.h
 %%DATADIR%%/include/kernel/rtlil.h
 %%DATADIR%%/include/kernel/satgen.h
 %%DATADIR%%/include/kernel/scopeinfo.h
 %%DATADIR%%/include/kernel/sexpr.h
 %%DATADIR%%/include/kernel/sigtools.h
 %%DATADIR%%/include/kernel/threading.h
 %%DATADIR%%/include/kernel/timinginfo.h
 %%DATADIR%%/include/kernel/utils.h
 %%DATADIR%%/include/kernel/yosys.h
 %%DATADIR%%/include/kernel/yosys_common.h
 %%DATADIR%%/include/kernel/yw.h
 %%DATADIR%%/include/libs/ezsat/ezminisat.h
 %%DATADIR%%/include/libs/ezsat/ezsat.h
 %%DATADIR%%/include/libs/fst/fstapi.h
 %%DATADIR%%/include/libs/json11/json11.hpp
 %%DATADIR%%/include/libs/sha1/sha1.h
 %%DATADIR%%/include/passes/fsm/fsmdata.h
 %%DATADIR%%/include/passes/techmap/libparse.h
 %%DATADIR%%/intel/common/altpll_bb.v
 %%DATADIR%%/intel/common/brams_m9k.txt
 %%DATADIR%%/intel/common/brams_map_m9k.v
 %%DATADIR%%/intel/common/ff_map.v
 %%DATADIR%%/intel/common/m9k_bb.v
 %%DATADIR%%/intel/cyclone10lp/cells_map.v
 %%DATADIR%%/intel/cyclone10lp/cells_sim.v
 %%DATADIR%%/intel/cycloneiv/cells_map.v
 %%DATADIR%%/intel/cycloneiv/cells_sim.v
 %%DATADIR%%/intel/cycloneive/cells_map.v
 %%DATADIR%%/intel/cycloneive/cells_sim.v
 %%DATADIR%%/intel/max10/cells_map.v
 %%DATADIR%%/intel/max10/cells_sim.v
 %%DATADIR%%/intel_alm/common/abc9_map.v
 %%DATADIR%%/intel_alm/common/abc9_model.v
 %%DATADIR%%/intel_alm/common/abc9_unmap.v
 %%DATADIR%%/intel_alm/common/alm_map.v
 %%DATADIR%%/intel_alm/common/alm_sim.v
 %%DATADIR%%/intel_alm/common/arith_alm_map.v
 %%DATADIR%%/intel_alm/common/bram_m10k.txt
 %%DATADIR%%/intel_alm/common/bram_m10k_map.v
 %%DATADIR%%/intel_alm/common/dff_map.v
 %%DATADIR%%/intel_alm/common/dff_sim.v
 %%DATADIR%%/intel_alm/common/dsp_map.v
 %%DATADIR%%/intel_alm/common/dsp_sim.v
 %%DATADIR%%/intel_alm/common/lutram_mlab.txt
 %%DATADIR%%/intel_alm/common/megafunction_bb.v
 %%DATADIR%%/intel_alm/common/mem_sim.v
 %%DATADIR%%/intel_alm/common/misc_sim.v
 %%DATADIR%%/intel_alm/cyclonev/cells_sim.v
 %%DATADIR%%/lattice/arith_map_ccu2c.v
 %%DATADIR%%/lattice/arith_map_ccu2d.v
 %%DATADIR%%/lattice/arith_map_nexus.v
 %%DATADIR%%/lattice/brams_16kd.txt
 %%DATADIR%%/lattice/brams_8kc.txt
 %%DATADIR%%/lattice/brams_map_16kd.v
 %%DATADIR%%/lattice/brams_map_8kc.v
 %%DATADIR%%/lattice/brams_map_nexus.v
 %%DATADIR%%/lattice/brams_nexus.txt
 %%DATADIR%%/lattice/ccu2c_sim.vh
 %%DATADIR%%/lattice/ccu2d_sim.vh
 %%DATADIR%%/lattice/cells_bb_ecp5.v
 %%DATADIR%%/lattice/cells_bb_nexus.v
 %%DATADIR%%/lattice/cells_bb_xo2.v
 %%DATADIR%%/lattice/cells_bb_xo3.v
 %%DATADIR%%/lattice/cells_bb_xo3d.v
 %%DATADIR%%/lattice/cells_ff.vh
 %%DATADIR%%/lattice/cells_io.vh
 %%DATADIR%%/lattice/cells_map_nexus.v
 %%DATADIR%%/lattice/cells_map_trellis.v
 %%DATADIR%%/lattice/cells_sim_ecp5.v
 %%DATADIR%%/lattice/cells_sim_nexus.v
 %%DATADIR%%/lattice/cells_sim_xo2.v
 %%DATADIR%%/lattice/cells_sim_xo3.v
 %%DATADIR%%/lattice/cells_sim_xo3d.v
 %%DATADIR%%/lattice/common_sim.vh
 %%DATADIR%%/lattice/dsp_map_18x18.v
 %%DATADIR%%/lattice/dsp_map_nexus.v
 %%DATADIR%%/lattice/latches_map.v
 %%DATADIR%%/lattice/lrams_map_nexus.v
 %%DATADIR%%/lattice/lrams_nexus.txt
 %%DATADIR%%/lattice/lutrams_map_nexus.v
 %%DATADIR%%/lattice/lutrams_map_trellis.v
 %%DATADIR%%/lattice/lutrams_nexus.txt
 %%DATADIR%%/lattice/lutrams_trellis.txt
 %%DATADIR%%/lattice/parse_init.vh
 %%DATADIR%%/microchip/LSRAM.txt
 %%DATADIR%%/microchip/LSRAM_map.v
 %%DATADIR%%/microchip/arith_map.v
 %%DATADIR%%/microchip/brams_defs.vh
 %%DATADIR%%/microchip/cells_map.v
 %%DATADIR%%/microchip/cells_sim.v
 %%DATADIR%%/microchip/polarfire_dsp_map.v
 %%DATADIR%%/microchip/uSRAM.txt
 %%DATADIR%%/microchip/uSRAM_map.v
 %%DATADIR%%/mul2dsp.v
 %%DATADIR%%/nanoxplore/arith_map.v
 %%DATADIR%%/nanoxplore/brams.txt
 %%DATADIR%%/nanoxplore/brams_init.vh
 %%DATADIR%%/nanoxplore/brams_map.v
 %%DATADIR%%/nanoxplore/cells_bb.v
 %%DATADIR%%/nanoxplore/cells_bb_l.v
 %%DATADIR%%/nanoxplore/cells_bb_m.v
 %%DATADIR%%/nanoxplore/cells_bb_u.v
 %%DATADIR%%/nanoxplore/cells_map.v
 %%DATADIR%%/nanoxplore/cells_sim.v
 %%DATADIR%%/nanoxplore/cells_sim_l.v
 %%DATADIR%%/nanoxplore/cells_sim_m.v
 %%DATADIR%%/nanoxplore/cells_sim_u.v
 %%DATADIR%%/nanoxplore/cells_wrap.v
 %%DATADIR%%/nanoxplore/cells_wrap_l.v
 %%DATADIR%%/nanoxplore/cells_wrap_m.v
 %%DATADIR%%/nanoxplore/cells_wrap_u.v
 %%DATADIR%%/nanoxplore/io_map.v
 %%DATADIR%%/nanoxplore/latches_map.v
 %%DATADIR%%/nanoxplore/rf_init.vh
 %%DATADIR%%/nanoxplore/rf_rams_l.txt
 %%DATADIR%%/nanoxplore/rf_rams_m.txt
 %%DATADIR%%/nanoxplore/rf_rams_map_l.v
 %%DATADIR%%/nanoxplore/rf_rams_map_m.v
 %%DATADIR%%/nanoxplore/rf_rams_map_u.v
 %%DATADIR%%/nanoxplore/rf_rams_u.txt
 %%DATADIR%%/nexus/cells_sim.v
 %%DATADIR%%/nexus/cells_xtra.v
 %%DATADIR%%/nexus/parse_init.vh
 %%DATADIR%%/pmux2mux.v
 %%DATADIR%%/python3/smtio.py
 %%DATADIR%%/python3/ywio.py
 %%DATADIR%%/quicklogic/common/cells_sim.v
 %%DATADIR%%/quicklogic/pp3/abc9_map.v
 %%DATADIR%%/quicklogic/pp3/abc9_model.v
 %%DATADIR%%/quicklogic/pp3/abc9_unmap.v
 %%DATADIR%%/quicklogic/pp3/cells_map.v
 %%DATADIR%%/quicklogic/pp3/cells_sim.v
 %%DATADIR%%/quicklogic/pp3/ffs_map.v
 %%DATADIR%%/quicklogic/pp3/latches_map.v
 %%DATADIR%%/quicklogic/pp3/lut_map.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/TDP18K_FIFO.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/arith_map.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/bram_types_sim.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/brams_map.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/brams_sim.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/cells_sim.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/dsp_final_map.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/dsp_map.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/dsp_sim.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/ffs_map.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/libmap_brams.txt
 %%DATADIR%%/quicklogic/qlf_k6n10f/libmap_brams_map.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/sram1024x18_mem.v
 %%DATADIR%%/quicklogic/qlf_k6n10f/ufifo_ctl.v
 %%DATADIR%%/sdc/graph-stubs.sdc
 %%DATADIR%%/sf2/arith_map.v
 %%DATADIR%%/sf2/cells_map.v
 %%DATADIR%%/sf2/cells_sim.v
 %%DATADIR%%/simcells.v
 %%DATADIR%%/simlib.v
 %%DATADIR%%/smtmap.v
 %%DATADIR%%/techmap.v
 %%DATADIR%%/xilinx/abc9_model.v
 %%DATADIR%%/xilinx/arith_map.v
 %%DATADIR%%/xilinx/brams_defs.vh
 %%DATADIR%%/xilinx/brams_xc2v.txt
 %%DATADIR%%/xilinx/brams_xc2v_map.v
 %%DATADIR%%/xilinx/brams_xc3sda.txt
 %%DATADIR%%/xilinx/brams_xc3sda_map.v
 %%DATADIR%%/xilinx/brams_xc4v.txt
 %%DATADIR%%/xilinx/brams_xc4v_map.v
 %%DATADIR%%/xilinx/brams_xc5v_map.v
 %%DATADIR%%/xilinx/brams_xc6v_map.v
 %%DATADIR%%/xilinx/brams_xcu_map.v
 %%DATADIR%%/xilinx/brams_xcv.txt
 %%DATADIR%%/xilinx/brams_xcv_map.v
 %%DATADIR%%/xilinx/cells_map.v
 %%DATADIR%%/xilinx/cells_sim.v
 %%DATADIR%%/xilinx/cells_xtra.v
 %%DATADIR%%/xilinx/ff_map.v
 %%DATADIR%%/xilinx/lut_map.v
 %%DATADIR%%/xilinx/lutrams_xc5v.txt
 %%DATADIR%%/xilinx/lutrams_xc5v_map.v
 %%DATADIR%%/xilinx/lutrams_xcu.txt
 %%DATADIR%%/xilinx/lutrams_xcv.txt
 %%DATADIR%%/xilinx/lutrams_xcv_map.v
 %%DATADIR%%/xilinx/mux_map.v
 %%DATADIR%%/xilinx/urams.txt
 %%DATADIR%%/xilinx/urams_map.v
 %%DATADIR%%/xilinx/xc3s_mult_map.v
 %%DATADIR%%/xilinx/xc3sda_dsp_map.v
 %%DATADIR%%/xilinx/xc4v_dsp_map.v
 %%DATADIR%%/xilinx/xc5v_dsp_map.v
 %%DATADIR%%/xilinx/xc6s_dsp_map.v
 %%DATADIR%%/xilinx/xc7_dsp_map.v
 %%DATADIR%%/xilinx/xcu_dsp_map.v