HKOSCON 2023 - Verilog talk