MICHELI, G. D. 1994. Synthesis and Optimization of Digital Circuits. McGraw-Hill, Inc. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Contention-conscious Transaction Ordering in Embedded.. - Khandelia, Al. (2000) (Correct)
Implicant Network: An Associative Memory Model - Federici (2003) (Correct)
System Modeling and Design Refinement in ForSyDe - Sander (2003) (Correct)
Static Memory Allocation by Pointer Analysis and Coloring - Zhu (2001) (Correct)
ATPG-based Transformations for Random-Pattern Testable.. - Chatterjee, Pradhan.. (Correct)
Implication-Based Gate-level Synthesis for Low-Power - Topics.. (Correct)
A New Structural Pattern Matching Algorithm for Technology.. - Zhao, Sapatnekar (2001) (Correct)
Transformations for the Synthesis and Optimization of.. - Theobald, Nowick (2001) (1 citation) (Correct)
Pattern Selection in Programmable Systems - Bozorgzadeh, Kastner.. (2001) (Correct)
Optimized Hardware Synthesis for FPGAs - Haldar (2001) (Correct)
Pattern Selection in Programmable Systems - Ys Te Ms (Correct)
Behavioral Transformations to Increase Noise Immunity.. - Taubin, Kondratyev.. (1998) (Correct)
Behavioral Transformations to Increase Noise.. - Taubin.. (1998) (Correct)
High-Level Synthesis by Dynamic Ant - Rachaporn Keinprasit And (1 citation) (Correct)
Hardware Software Synthesis of Formal Specifications.. - Carchiolo, Malgeri.. (Correct)
OPTIMIST: State Minimization for Optimal 2-Level Logic.. - Fuhrer, Nowick (1997) (Correct)
A Reconfigurable Hardware Approach to Network Simulation - Stiliadis (Correct)
Using Transport Triggered Architectures for Embedded.. - Corporaal, Arnold (Correct)
Energy Efficient Datapath Scheduling using Multiple.. - Mohanty, Ranganathan (2005) (Correct)
Cost Performance Optimizations of Microprocessors - Fu (2001) (1 citation) (Correct)
High-Level Energy Estimation for ARM-Based SOCs - Crisu, Cotofana, Vassiliadis, .. (2003) (Correct)
Synthesis of Application-Specific Highly-Efficient.. - Low-Power.. (2003) (Correct)
Compiling for Coarse-Grained Adaptable Architectures - Ebeling (2002) (Correct)
A Recursive Paradigm to Solve Boolean Relations - Baneres, Cortadella, Kishinevsky (2004) (Correct)
Heuristic Symmetry Reduction for Invariant Verification - William Hung Adnan (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC