Back to Results
First PageMeta Content
Mathematics / Binary decision diagram / Model checking / Computer programming / Decomposition / Lookup table / Decomposition method / Boolean algebra / Computing / Diagrams


A New Enhanced Constructive Decomposition and Mapping Algorithm Alan Mishchenko Xinning Wang
Add to Reading List

Document Date: 2003-03-28 23:46:48

Open Document

File Size: 245,87 KB

Share Result on Facebook

City

Princeton / Anaheim / a BDD / /

Company

Finite State Systems / OR 97124 Intel Corporation / Intel Corporation / CA 94720 Intel Corporation / /

Country

United States / /

Currency

pence / USD / /

/

Facility

The library / Constructive library / University of Michigan / EECS University of California / Harvard University / /

IndustryTerm

mapped multi-level network / technology mapping / minimization algorithm / proposed selection algorithm / empty network / constructive decomposition algorithm / computing / Synthesis tools / decomposition algorithm / logic synthesis tools / /

Organization

ASIC / Harvard University / University of Michigan / EECS University / University of California / Berkeley / Madre / New Enhanced Constructive Decomposition and Mapping Algorithm Alan Mishchenko Xinning Wang Timothy Kam Department / /

Person

Z. Step / Marek Perkowski / Victor Kravets / Wang Timothy Kam / Robert Brayton / Tsutomu Sasao / Van Nostrand / Karem Sakallah / /

Position

author / experienced human designer / /

ProvinceOrState

New Jersey / California / Y. T. / Michigan / /

Technology

FPGA / RAM / ASIC / constructive decomposition algorithm / proposed algorithm / 3.1 Algorithm / BDD minimization algorithm / proposed selection algorithm / DECOMPOSITION ALGORITHM / Terms Algorithms / integrated circuits / CAD / /

URL

http /

SocialTag