IBM / CNF / ABC / Altera / MVSIS Group / AIG / CEC / Computer Science Press / Intel / CA 94720 Cadence Berkeley Labs / /
Country
Germany / /
Currency
USD / / /
Event
Force Majeure / /
Facility
EECS University of California / University Ave / /
IndustryTerm
similar tools / software synthesis / software implementation / technology mapping / clausedatabase management / diverse applications / search space / /
MarketIndex
IWLS / /
MusicGroup
ABC / /
OperatingSystem
Linux / Microsoft Windows / /
Organization
National Science Foundation / UC Berkeley / EECS University / University of California / Berkeley / U.S. Securities and Exchange Commission / United Nations / Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert Brayton Niklas Een Department / /
Person
W. H. Joyner / Jr. / Robert Brayton Niklas Een / Alan Mishchenko Satrajit Chatterjee Robert / A. Kuehlmann / V / Tim Cheng / Feng Lu / /
Position
manager / wb / /
Product
CNFbased / BDDs / /
ProvinceOrState
Illinois / Oregon / California / /
Technology
RAM / Linux / API / pdf / ethernet / resulting algorithm / http / simulation / Graph-based algorithms / CAD / /
Improvements to Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert Brayton