![Logic in computer science / Mathematics / Formal methods / Computer memory / Binary trees / Retiming / Flip-flop / Sequential logic / Combinational logic / Theoretical computer science / Digital electronics / Electronic engineering Logic in computer science / Mathematics / Formal methods / Computer memory / Binary trees / Retiming / Flip-flop / Sequential logic / Combinational logic / Theoretical computer science / Digital electronics / Electronic engineering](https://www.pdfsearch.io/img/6b94cb8011e7f176417bec3ce2e30dda.jpg)
| Document Date: 2007-04-23 21:49:16 Open Document File Size: 138,52 KBShare Result on Facebook
Company AIG / Combinational Networks / / / Facility University of California / / IndustryTerm logic network / technology mapping step / greedy algorithms / software implementation / technology mapping / industrial applications / / Organization University of California / Berkeley / Sequential Rewriting and Synthesis Robert Brayton Alan Mishchenko EECS Department / / Person Robert Brayton Alan Mishchenko / / Position rt / manager / / PublishedMedium R&R / / TVStation TFO / / Technology 5.2 Technology / resulting algorithm / CAD / /
SocialTag |