<--- Back to Details
First PageDocument Content
Electronic 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
Date: 2007-02-12 14:27:19
Electronic 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

A case study of FPGA mappers optimality

Add to Reading List

Source URL: cadlab.cs.ucla.edu

Download Document from Source Website

File Size: 377,47 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Mathematics / Computational complexity theory / Operations research / Logic in computer science / Mathematical optimization / NP-complete problems / Boolean algebra / Maximum satisfiability problem / Boolean satisfiability problem / Constraint satisfaction / Solver

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

DocID: 1rsZm - View Document

Computing / Software engineering / Software / Compiler optimizations / Programming language implementation / Compiler construction / Formal methods / Logic in computer science / CompCert / Low-level programming language / Peephole optimization / Formal verification

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

DocID: 1rsFQ - View Document

Artificial intelligence / Logic programming / Academia / Decision theory / Game theory / Non-cooperative games / Situation calculus / Nash equilibrium / Zero-sum game / Markov decision process / Strategy / Mathematical optimization

I N F S Y S R E S E A R C H R

DocID: 1riTl - View Document

Belief revision / Reinforcement learning / Loss function / Algorithm / Mathematical optimization / Logic / Applied mathematics / Mathematics

Learning to Search Better than Your Teacher Kai-Wei Chang KCHANG 10@ ILLINOIS . EDU

DocID: 1rfgn - View Document

Sorting algorithms / Computing / Data processing / Mathematics / Algorithm / Mathematical logic / Theoretical computer science / Sorting / Sort / Computational complexity theory / Program optimization / Selection algorithm

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 tri

DocID: 1r8dX - View Document