Back to Results
First PageMeta Content
Combinatorial optimization / Formal methods / Combinatorics / Retiming / Maximum flow problem / Flow network / Minimum cut / Cut / Minimum-cost flow problem / Network flow / Graph theory / Mathematics


Microsoft Word - minreg-fmcad-final3.doc
Add to Reading List

Document Date: 2007-07-30 11:41:26

Open Document

File Size: 155,44 KB

Share Result on Facebook

Company

ABC / Altera / AIG / Intel / /

Facility

Robert K. Brayton University of California / /

IndustryTerm

logic network / acyclic network / maximumflow algorithm / terms network / flow network / combinational network / computing / final network / suitable algorithms / verification applications / overall algorithm / /

OperatingSystem

PIOs / /

Organization

Robert K. Brayton University / University of California / Berkeley / /

Person

MAX-FLOW MINIMUM REGISTER / Min-Cost Flow Iterative / D.R. Singh / V / MIN-REGISTER RETIMING / MIN-REG RETIMING ALGORITHM / Aaron P. Hurst / Alan Mishchenko / /

Position

forward / wb / /

ProvinceOrState

South Dakota / California / /

PublishedMedium

Journal of the ACM / /

TVStation

TFO / /

Technology

FPGA / path-based algorithm / overall algorithm / retiming algorithm / CAV / maximumflow algorithm / sdram / CAD / /

URL

http /

SocialTag