Automatic discovery and localization of tough bugs in large SoCs using formal-enhanced quick error detection - CITRIS and the Banatao Institute
Speaker: Clark Barrett Seminar: CITRIS People and Robots Initiative, “Design of Robotics and Embedded systems, Analysis, and Modeling” Seminars (DREAMS) | Monday, March 06 | 4 – […]
