Ethernet, Pcie, formal verification, assertion-based verification, UCIe, FPGA prototyping, Uvm, hardware software co-verification, systemverilog, coverage-driven verification, Emulation, RISC-V architecture, CXL, constrained-random verification, high-performance SoC architectures, AMBA protocols, SERDES, Simulation