| Document Date: 2008-08-25 01:16:03
Open Document File Size: 185,77 KBShare Result on Facebook
Company Semiconductor Research Corporation / Focus Center Research Program / MIT Press / RTL / Interconnection Networks / ACM Press / Intel / / Continent Europe / / Country United Kingdom / / / Facility Stanford University / / IndustryTerm potential applications / chip multiprocessor router / fault-tolerant systems / model-checking tools / finite-state systems / target applications / / MarketIndex VIS / / Organization MIT / UC Berkeley / Stanford University / Hebrew University / Gigascale Systems Research Focus Center / EECS Department / / Position circuit designer / designer / first author was / verification engineer / arbiter / engineer / / ProgrammingLanguage Verilog / R / / SportsLeague Stanford University / / Technology Verilog / Flow Control / chip multiprocessor router / CMP router / simulation / CMP / /
SocialTag |
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance Orna Kupferman Wenchao Li