NDLI: An optimal algorithm for area minimization of slicing floorplans

Please wait, while we are loading the content...

2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers

2008 IEEE/ACM International Conference on Computer-Aided Design

2007 IEEE/ACM International Conference on Computer-Aided Design

2006 IEEE/ACM International Conference on Computer Aided Design

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005.

IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004.

ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)

IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002.

IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281)

IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140)

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)

1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)

Proceedings of International Conference on Computer Aided Design

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)

Efficient validity checking for processor verification

The formal verification of a pipelined double-precision IEEE floating-point multiplier

Extracting RTL models from transistor netlists

Switching activity analysis using Boolean approximation method

Estimation and bounding of energy consumption in burst-mode control circuits

Statistical estimation of sequential circuit activity

Efficient reduced-order modeling for the transient simulation of three-dimensional interconnect

Generating sparse partial inductance matrices with guaranteed stability

Addressing high frequency effects in VLSI interconnects with full wave model and CFH

Clock distribution design and verification for PowerPC microprocessors

Activity-driven clock design for low power circuits

Bounded-skew clock and Steiner routing under Elmore delay

Who are the variables in your neighbourhood

Efficient construction of binary moment diagrams for verifying arithmetic circuits

Be careful with don't cares

Pattern generation for a deterministic BIST scheme

Test register insertion with minimum hardware cost

Pseudo-random testing and signature analysis for mixed-signal circuits

Efficient and accurate transient simulation in charge-voltage plane

A fast wavelet collocation method for high-speed VLSI circuit simulation

A formal approach to nonlinear analog circuit verification

Constrained multivariable optimization of transmission lines with general topologies

Optimal wire sizing and buffer insertion for low power and a generalized delay model

A sequential quadratic programming approach to concurrent gate and wire sizing

High-density reachability analysis

Hybrid decision diagrams. Overcoming the limitations of MTBDDs and BMDs

Synthesizing Petri nets from state-based models

Design verification via simulation and automatic test pattern generation

On adaptive diagnostic test generation

Diagnosis of realistic bridging faults with single stuck-at information

SUBTRACT: a program for the efficient evaluation of substrate parasitics in integrated circuits

Extraction of circuit models for substrate cross-talk

Stable and efficient reduction of substrate model networks using congruence transforms

New algorithms for min-cut replication in partitioned circuits

Linear decomposition algorithm for VLSI design applications

A gradient method on the initial partition of Fiduccia-Mattheyses algorithm

Binary decision diagrams and beyond: enabling technologies for formal verification

Coping with RC(L) interconnect design headaches

Efficient orthonormality testing for synthesis with pass-transistor selectors

Logic decomposition during technology mapping

Efficient use of large don't cares in high-level and logic synthesis

Interface co-synthesis techniques for embedded systems

Communication synthesis for distributed embedded systems

Design-for-Debugging of application specific designs

A single-path-oriented fault-effect propagation in digital circuits considering multiple-path sensitization

Acceleration techniques for dynamic vector compaction

LOT: Logic optimization with testability - new transformations using recursive learning

An empirical model for accurate estimation of routing delay in FPGAs

Performance-driven simultaneous place and route for island-style FPGAs

Board-level multi-terminal net routing for FPGA-based logic emulation

Technology mapping for field-programmable gate arrays using integer programming

Logic synthesis for look-up table based FPGAs using functional decomposition and support minimization

Compatible class encoding in Roth-Karp decomposition for two-output LUT architecture

Estimation of maximum transition counts at internal nodes in CMOS VLSI circuits

Hierarchical timing analysis using conditional delays

Performance estimation of embedded software with instruction cache modeling

Memory bank and register allocation in software synthesis for ASIPs

Instruction selection using binate covering for code size optimization

Fast discrete function evaluation using decision diagrams

Fast functional simulation using branching programs

Gate-level simulation of digital circuits using multi-valued Boolean algebras

An iterative gate sizing approach with accurate delay evaluation

Boolean techniques for low power driven re-synthesis

Two-level logic minimization for low power

PARAS: System-level concurrent partitioning and scheduling

Cost optimization in ASIC implementation of periodic hard-real time systems using behavioral synthesis techniques

System partitioning to maximize sleep time

A delay model for logic synthesis of continuously-sized networks

Power vs. delay in gate sizing: conflicting objectives?

Speeding up pipelined circuits through a combination of gate sizing and clock skew optimization

Rectangle-packing-based module placement

An optimal algorithm for area minimization of slicing floorplans

Re-engineering of timing constrained placements for regular architectures

Power estimation techniques for integrated circuits

CAD challenges in multimedia computing

Address generation for memories containing multiple arrays

Background memory management for dynamic data structure intensive processing systems

Architectural partitioning of control memory for application specific programmable processors

Cost-free scan: a low-overhead scan path design methodology

A controller-based design-for-testability technique for controller-data path circuits

On testable multipliers for fixed-width data path architectures

A high-level design and optimization tool for analog RF receiver front-ends

A new algorithm for the design of stable higher order single loop sigma delta analog-to-digital converters

Statistical behavioral modeling and characterization of A/D converters

Optimal wiresizing for interconnects with multiple sources

Post routing performance optimization via multi-link insertion and non-uniform wiresizing

Single-layer fanout routing and routability analysis for ball grid arrays

Push-up scheduling: optimal polynomial-time resource constrained scheduling for multi-dimensional applications

Time-constrained loop pipelining

An iterative improvement algorithm for low power data path synthesis

Symbolic hazard-free minimization and encoding of asynchronous finite state machines

Sequential synthesis using S1S

Design based analog testing by characteristic observation inference

Dynamic test signal design for analog ICs

Impulse response fault model and fault extraction for functional level analog circuit diagnosis

Delay optimal partitioning targeting low power VLSI circuits

PROP: a recursive paradigm for area-efficient and performance oriented partitioning of large FPGA netlists

Circuit partitioning with logic perturbation

Phantom redundancy: a high-level synthesis approach for manufacturability

APPlaUSE: area and performance optimization in a unified placement and synthesis environment

Synthesis of multiplier-less FIR filters with minimum number of additions

A multiple-dominance switch-level model for simulation of short faults

Fault emulation: a new approach to fault grading

Functional test generation for delay faults in combinational circuits

A novel methodology for statistical parameter extraction

Relaxation-based harmonic balance technique for semiconductor device simulation

Partitioning and reduction of RC interconnect networks based on scattering parameter macromodels

A unified approach to topology generation and area optimization of general floorplans

A timing-driven data path layout synthesis with integer programming

Signal integrity optimization on the pad assignment for high-speed VLSI design

Multi-level logic optimization of FSM networks

Timing analysis with known false sub graphs

IEEE/ACM International Conference on Computer-Aided Design

Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)

1992 IEEE/ACM International Conference on Computer-Aided Design

1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers

1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers

1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers

[1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers

An optimal algorithm for area minimization of slicing floorplans

Content Provider	IEEE Xplore Digital Library
Author	Weiping Shi
Copyright Year	1997
Description	Author affiliation: Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA (Weiping Shi)
Abstract	The traditional algorithm of L. Stockmeyer (1983) for area minimization of slicing floorplans has time (and space) complexity O(n/sup 2/) in the worst case, or O(n log n) for balanced slicing. For more than a decade, it is considered the best possible. In this paper, we present a new algorithm of worst-case time (and space) complexity O(n log n), where n is the total number of realizations for the basic blocks, regardless whether the slicing is balanced or not. We also prove /spl Omega/(n log n) is the lower bound and the time complexity of any area minimization algorithm. Therefore, the new algorithm not only finds the optimal realization, but also has an optimal running time.
Starting Page	480
Ending Page	484
File Size	475033
Page Count	5
File Format	PDF
ISBN	0818682000
ISSN	10636757
DOI	10.1109/ICCAD.1995.480160
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1995-11-05
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Minimization methods Bismuth Wheels Computer science Binary trees
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in