“SAT-based Design Debugging and Its Application to Undergraduate Circuit Experiment”
Name: Takeshi Matsumoto Date and Time: Friday, September 7 at 11:00 a.m. - 12:00 p.m. Location: Donald Bren Hall 3011 Abstract: As VLSI designs are becoming larger and more complicated, designers […]