Computer Science Seminar by Zachary Sisco: Verifiable Hardware Design with Solver-Aided Programming Languages聽
Speaker: Zachary Sisco, Ph.D. candidate, University of California, Santa Barbara Title: Verifiable Hardware Design with Solver-Aided Programming Languages Abstract: Modern chip design embodies...