First Page | Document Content | |
---|---|---|
![]() Date: 2007-02-12 14:27:19Electronic design Digital electronics Integrated circuits Field-programmable gate array Logic synthesis Xilinx Logic optimization Application-specific integrated circuit Algorithm Electronic engineering Electronics Electronic design automation | Add to Reading List |
![]() | On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID LisbonDocID: 1rsZm - View Document |
![]() | Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USADocID: 1rsFQ - View Document |
![]() | I N F S Y S R E S E A R C H RDocID: 1riTl - View Document |
![]() | Learning to Search Better than Your Teacher Kai-Wei Chang KCHANG 10@ ILLINOIS . EDUDocID: 1rfgn - View Document |
![]() | A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other triDocID: 1r8dX - View Document |