CECS Seminar

Title: “SAT-based Design Debugging and Its Application to Undergraduate Circuit Experiment”

Speaker: Prof. Takeshi Matsumoto, National Institute of Technology, Ishikawa College, Japan

Date and Time: Friday, September 7, 2018  at 11:00 a.m.

Location: Donald Bren Hall 3011

View Details