Automatic discovery and localization of tough bugs in large SoCs using formal-enhanced quick error detection
250 Sutardja Dai Hall 250 Sutardja Dai Hall, Berkeley, CA, United StatesSpeaker: Clark Barrett Seminar: CITRIS People and Robots Initiative, “Design of Robotics and Embedded systems, Analysis, and Modeling” Seminars (DREAMS) | Monday, March 06 | 4 - […]