Mark Firstenberg

Mark Firstenberg is a Principal Member of Technical Staff at AMD, focusing on sequential equivalence checking and formal methods. They have a wealth of experience in hardware development, having previously held senior roles at notable companies such as IBM, where they became an expert in sequential equivalence checking methodology, and Sun Microsystems, where they helped implement the UltraSPARC V RTL methodology. Mark began their career as a Principal Hardware Engineer at Digital Equipment Corporation, where they contributed to the design and verification of the VAX 9000 CPU, earning four patents. They hold a B.S.E.E. degree from Cornell University, completed in 1981.