×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [symbolic simulation]
Home >
symbolic simulation
Randal E. Bryant Carnegie Mellon University SymSim ‘02 Symbolic Simulation and its Connection to Formal Verification bryant.
220 views
1 Regression Verification: Proving the equivalence of similar programs Benny Godlin Ofer Strichman Technion, Haifa, Israel Recently joined: Yossi Levhari.
214 views
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?
213 views
Automatic Abstraction Refinement for GSTE Yan Chen, Yujing He, and Fei Xie Portland State University Jin Yang Intel Nov 13, 2007.
224 views
Modernized Computation Engines for Tomorrow's Formal Verification Robert Brayton Niklas Een Alan Mishchenko Berkeley Verification and Synthesis Research.
224 views
Formal Methods and Physical Design: Match Made in Heaven or Fools’ Paradise? Dr. Carl Seger Strategic CAD Labs, Intel November 18, 2008.
214 views
A Framework for Cooperating Decision Procedures
41 views
1 IAF0620, 5.0 AP, Exam jaan/verification Jaan Raik ICT-524, 620 2257, 55 13141
[email protected]
Digital systems verification.
224 views
Methodologies for Performance Simulation of Super-scalar OOO processors
21 views
Automatic Abstraction Refinement for GSTE
26 views
Alpha 21364
44 views
Alpha 21364
40 views