171 citations found. Retrieving documents...
DE MICHELI, G. 1994.
Synthesis and Optimization of Digital Circuits
. McGraw-Hill, New York.
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
First 50 documents
Next 50
High-Level Synthesis of Distributed Logic-Memory.. - Huang, Ravi, Raghunathan, .. (2002)
(2 citations)
(Correct)
Automated Correctness Condition Generation for Formal.. - Mansouri, Vemuri (1999)
(Correct)
Optimal Simultaneous Module and - Multivoltage Assignment For
(Correct)
Platform-Based Resource Binding - Using Distributed Register-File
(Correct)
Intellectual Property Protection By Watermarking - Combinational Logic Synthesis
(Correct)
Postgraduate Study Report DC-PSR-2004-14 - Mixed-Mode Bist Based
(Correct)
Pseudorandom Testing -- A Study of the Effect of the Generator .. - Petr Fiser Hana
(Correct)
Influence of the Test Lengths on Area Overhead in Mixed-Mode.. - Petr Fiser Hana (2004)
(Correct)
Pseudorandom Testability -- Study of the Effect of the - Generator Type Petr
(Correct)
An Efficient Mixed-Mode Bist Technique - Petr Fiser Hana (2004)
(Correct)
Improvement of the Fault Coverage of the Pseudo-Random Phase - In Column-Matching Bist
(Correct)
Boolean Minimizer FC-Min: Coverage Finding Process - Petr Fiser Hana
(Correct)
High-Level Power Modeling, Estimation, and Optimization - Macii, Pedram, Somenzi (1997)
(22 citations)
(Correct)
A BIST Pattern Generator Design for Near-Perfect Fault Coverage - Chatterjee, Pradhan (2003)
(8 citations)
(Correct)
Synthesis of Custom Processors based on Extensible Platforms - Sun, Ravi, Raghunathan, Jha (2002)
(5 citations)
(Correct)
Fast Time-Domain Symbolic Simulation for Sigma-Delta.. - Zhang, Doboli
(Correct)
Scheduling with Buss Access Optimization for Distributed.. - Eles, al.
(Correct)
Hardware-Software Co-Design of Resource Constrained.. - Thepayasuwan, Doboli (2003)
(Correct)
A Heuristic Technique for System-Level Architecture.. - Doboli, Dhanwada, Vemuri (2000)
(Correct)
Exploration-based High-Level Synthesis of Linear Analog.. - Doboli, Vemuri (2002)
(Correct)
Adapting Static Single Assignment for Hardware Compilation - Ryan Kastner Elaheh
(Correct)
Value Prediction in Engineering Applications - Ziegler, Palotai, Cinkler..
(Correct)
Using Synthesis Techniques in SAT Solvers - Drechsler (2004)
(Correct)
Higher-Level Techniques for Hardware Description and Synthesis - Mycroft, Sharp
(Correct)
Analysis of the Performance of Coarse-Grain.. - Bansal, Gupta, Dutt..
(Correct)
On the Limits of Automatic Processor Specialisation by.. - Ienne, Pozzi, Vuletic (2002)
(Correct)
A Comparison of Clustering and Scheduling Techniques for.. - Kianzad, Bhattacharyya (2003)
(Correct)
Analysis of the Performance of Coarse-Grain.. - Bansal, Gupta, Dutt..
(Correct)
Distributed Synchronous Control Units for Dataflow Graphs.. - Euiseok Kim Hiroshi (2003)
(Correct)
Energy and Transient Power Minimization during Behavioral Synthesis - Mohanty (2003)
(Correct)
Network Topology Exploration of Mesh-Based.. - Bansal, Gupta.. (2003)
(1 citation)
(Correct)
Interface Synthesis using Memory Mapping for an FPGA Platform - Manev Luthra Sumit (2003)
(2 citations)
(Correct)
Hardware and Interface Synthesis of FPGA Blocks.. - Gupta, Luthra..
(Correct)
Efficient Computation of Canonical Form for Boolean Matching.. - Debnath, Sasao (2004)
(1 citation)
(Correct)
Arithmetic Transformations to Maximise the Use of Compressor.. - Ienne, Verma (2004)
(Correct)
Survey of Research Projects Conducted by Sasao's Group - Sasao (2004)
(Correct)
A Genetic Algorithm For Testable Data Path Synthesis - Harmanani, Saliba, Khoury (2001)
(Correct)
iPACE-V1: A Portable Adaptive Computing Engine for Real Time.. - Jawad Khan Mani
(Correct)
Functional Design Using Behavioural and Structural Components - Sharp (2002)
(Correct)
Software Synthesis and Code Generation for Signal.. - Bhattacharyya.. (1999)
(5 citations)
(Correct)
An Energy-Aware Architectural Exploration Tool for ARM-Based.. - Dan Crisu Sorin (2001)
(Correct)
Embedded System Co-Design: Synthesis And Verification - Luciano Lavagno Dipartimento (1995)
(5 citations)
(Correct)
Synthesis of Custom Processors based on Extensible Platforms - Sun, Ravi, Raghunathan, Jha (2002)
(5 citations)
(Correct)
Watermarking Techniques for Electronic Circuit Design - Charbon, Torunoglu
(Correct)
Scan Synthesis For One-Hot Signals - Subhasish Mitra Lanae (1997)
(1 citation)
(Correct)
Center for - Reliable Computing Design
(Correct)
Hardware/Software Co-Design of Run-Time Schedulers for.. - Mooney, III (2000)
Self-citation (De micheli)
(Correct)
Cell-Based Logic Optimization - De Micheli (2000)
Self-citation (De micheli)
(Correct)
Symbolic Algebra and Timing Driven Data-flow Synthesis - Peymandoust, De Micheli (2001)
(1 citation)
Self-citation (De micheli)
(Correct)
Energy-Efficient System-Level Design - Benini, De Micheli (2002)
Self-citation (De micheli)
(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