Joon Hong is a Product Engineer on the Questa Formal team, with a focus on supporting customers with very large scale SoC ASIC and FPGA design and verification flows. In addition to his formal verification skills, Joon’s background includes simulation-based experience with SVA, UVM, low power (UPF), and clock-domain crossing (CDC) verification. Joon holds a Master's degree focused in Electrical, Electronics and Communications Engineering from Yonsei University.