On the Power of Logic Resynthesis

DOI10.1137/S0097539796335480MaRDI QIDQ4943870zbMATH OpenOpenAlexFDO

Authors Wei-Liang Lin, Amir H. Farrahi, Majid Sarrafzadeh

Publication date 19 March 2000

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/s0097539796335480

zbMATH Keywords

circuit designlarge scale networkslinear arrangementminimax mincut problemresynthesisseries-parallel directed hypergraphtimingVLSI designVLSI layout

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Combinatorics in computer science (68R05) Graph theory (including graph drawing) in computer science (68R10) Applications of graph theory to circuits and networks (94C15) Applications of design theory to circuits and networks (94C30)

Recommendations

• On refinement in rewriting logic
• New foundations for rewriting logic
• Revising Logics
• On reversible combinatory logic
• scientific article; zbMATH DE number 1231540
• An essay on resolution logics
• Twenty years of rewriting logic
• Twenty years of rewriting logic
• Research directions in rewriting logic

Cited in

(2)

• Rebuilding MP on a logical ground
• Circuit integration through lattice hyperterms

This page was built for publication: On the Power of Logic Resynthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943870)