| Document Date: 2009-05-13 19:49:55
Open Document File Size: 147,79 KBShare Result on Facebook
City Speculative Reduction / Austin / / Company IBM / CNF / AIG / Mony1 Jason Baumgartner1 Alan Mishchenko2 1 IBM Systems / AQUILA / / Facility University of California / / IndustryTerm proof algorithms / redundancy identification algorithms / verification algorithm / verification algorithms / abstraction algorithms / heavier-weight algorithms / heavier-weight proof algorithms / Post-processing / internal verification tool / turn enabling sharing-aware logic rewriting algorithms / / Organization Department of EECS / University of California / Berkeley / / Person J. Baumgartner / V / A. Kuehlmann / V / Dong Wang / Shi-Yu Huang / H. Mony / V / / Position candidate and the representative / representative / / ProvinceOrState Manitoba / California / / Technology verification algorithms / heavier-weight proof algorithms / verification algorithm / 2.1GHz processor / redundancy identification algorithms / turn enabling sharing-aware logic rewriting algorithms / simulation / abstraction algorithms / heavier-weight algorithms / /
SocialTag |
Speculative Reduction-Based Scalable Redundancy Identification