Randal E. Bryant Carnegie Mellon University SymSim ‘02 Symbolic Simulation and its Connection to Formal Verification bryant.
1 Regression Verification: Proving the equivalence of similar programs Benny Godlin Ofer Strichman Technion, Haifa, Israel Recently joined: Yossi Levhari.
Alpha 21364 Goal: very fast multiprocessor systems, highly scalable Main trick is high-bandwidth, low-latency data access. How to do it, how to do it?
Automatic Abstraction Refinement for GSTE Yan Chen, Yujing He, and Fei Xie Portland State University Jin Yang Intel Nov 13, 2007.
Formal Methods and Physical Design: Match Made in Heaven or Fools’ Paradise? Dr. Carl Seger Strategic CAD Labs, Intel November 18, 2008.
A Framework for Cooperating Decision Procedures
1 IAF0620, 5.0 AP, Exam jaan/verification Jaan Raik ICT-524, 620 2257, 55 13141 [email protected] Digital systems verification.
Methodologies for Performance Simulation of Super-scalar OOO processors
Automatic Abstraction Refinement for GSTE
Alpha 21364
Modernized Computation Engines for Tomorrow's Formal Verification Robert Brayton Niklas Een Alan Mishchenko Berkeley Verification and Synthesis Research.