Improving the Functional Correctness of Digital Integrated Circuits Research Faculty | GradNova