In a blog posted on the Open Forum for Semiconductor Professionals, Alex Tan writes on the verification importance in academia. The forum contains an interview about the matter with Dr. Michael Quinn, associate professor in the Department of Computer Science and Engineering at Texas A&M University.
Tan referenced the Hack@DAC competition that was held in San Francisco last June to explain how competitors identify security vulnerabilities. The winning team’s submissions were then evaluated by real-time industry experts. “Hackin’ Aggies” a Texas A&M competition team, tied for first place with another university team.
“From the verification standpoint, the biggest area getting looked at is associated with security,” said Quinn.
According to Quinn, Texas A&M is now home to a new and growing program that specializes in security design, architecture
Tan writes that since in 2016, the program has contributed to the introduction of more than 100 verification engineers into the computer science and engineering industry from Texas A&M.
“At DAC 2018, the Texas A&M team had demonstrated a slice of the fruitful outcomes from the EDA (European Defense Agency) industry collaboration with academia,” wrote Tan.