He continued his research on VLSI simulation , VLSI circuit verification , symbolic manipulation , and parallel computation .
In 1984 , Bryant joined the faculty at Carnegie Mellon as an Assistant Professor of Computer Science .
Bryant continued Bryant 's research on VLSI simulation , VLSI circuit verification , symbolic manipulation , and parallel computation .
In 1984 , Bryant joined the faculty at Carnegie Mellon as an Assistant Professor of Computer Science .