NDLI: Synthesis methodology for built-in at-speed testing

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.

ICCAD-2005 International Conference on Computer Aided Design (IEEE Cat. No. 05CH37700)

Table of contents

Session 1A - Memory and arithmetic optimizations

Storage assignment during high-level synthesis for configurable architectures

Performance-driven read-after-write dependencies softening in high-level synthesis

An exact algorithm for the maximal sharing of partial terms in multiple constant multiplications

Session 1B - Design manufacturing interaction

FPGA device and architecture evaluation considering process variations

Via-configurable routing architectures and fast design mappability estimation for regular fabrics

SPIDER: simultaneous post-layout IR-drop and metal density enhancement with redundant fill

Session 1C - Detailed placement

Computational geometry based placement migration

An efficient and effective detailed placement algorithm

Post-placement rewiring and rebuffering by exhaustive search for functional symmetries

Wirelength optimization by optimal block orientation

Session 1D - Digital, analog and RF test

Parametric test development for RF circuits targeting physical fault locations and using specification-based fault definitions

Response shaper: a novel technique to enhance unknown tolerance for output response compaction

Test planning for the effective utilization of port-scalable testers for heterogeneous core-based SOCs

A cocktail approach on random access scan toward low power and high efficiency test

A statistical study of the effectiveness of BIST jitter measurement techniques

Session 2A - Embedded turorial: design trends

The circuit design of the synergistic processor element of a CELL processor

Adaptive designs for power and thermal optimization

Digital RF processor (DRP/spl trade/) for cellular phones

Session 2B - Physical design for manufacturing

A layout dependent full-chip copper electroplating topography model

Interval-valued statistical modeling of oxide chemical-mechanical polishing

Fast and efficient phase conflict detection and correction in standard-cell layouts

Session 2C - Large-scale layout techniques

IMF: interconnect-driven multilevel floorplanning for large-scale building-module designs

Robust mixed-size placement under tight white-space constraints

Intrinsic shortest path length: a new, accurate a priori wirelength estimator

Session 2D - Novel ideas and logic synthesis

Synthesis methodology for built-in at-speed testing

Clustering for processing rate optimization

ConvexFit: an optimal minimum-error convex fitting and smoothing algorithm with application to gate-sizing

Session 3A - Embedded tutorial: opportunities and challenges with double-gated devices

FinFETs for nanoscale CMOS digital integrated circuits

Physics-based compact modeling for nonclassical CMOS

Double-gate SOI devices for low-power and high-performance applications

Thermal simulation techniques for nanoscale transistors

Session 3B - Routing and application specific NoC architectures

An automated technique for topology and route generation of application specific on-chip interconnection networks

Deadlock-free routing and component placement for irregular mesh-based networks-on-chip

Application-specific network-on-chip architecture customization via long-range link insertion

NoCEE: energy macro-model extraction methodology for network on chip routers

Session 3C - Memory driven code and architecture optimizations

Architecture and compilation for data bandwidth improvement in configurable embedded processors

Code restructuring for improving cache performance of MPSoCs

2D data locality: definition, abstraction, and application

Integrating loop and data optimizations for locality within a constraint network based framework

Session 3D - Exploiting arithmetic constructs in verification

System level verification of digital signal processing applications based on the polynomial abstraction technique

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra

RTL SAT simplification by Boolean and interval arithmetic reasoning

Runtime integrity checking for inter-object connections

Session 4A - Buffers and voltage islands

Post-placement voltage island generation under performance requirement

Buffer insertion under process variations for delay minimization

Efficient algorithms for buffer insertion in general circuits based on network flow

Session 4B - Sequential circuit optimization

Trade-off between latch and flop for min-period sequential circuit designs with crosstalk

Flip-flop insertion with shifted-phase clocks for FPGA power reduction

Acyclic modeling of combinational loops

Session 4C - Power grid verification

Fast algorithms for IR drop analysis in large power grid

Incremental partitioning-based vectorless power grid verification

Static timing analysis considering power supply variations

Session 4D - Nanoelectronics

Hybrid CMOS/nanoelectronic digital circuits: devices, architectures, and design automation

Performance analysis of carbon nanotube interconnects for VLSI applications

Session 5A - Variability in design

DiCER: distributed and cost-effective redundancy for variation tolerance

Worst-case analysis to obtain stable read/write DC margin of high density 6T-SRAM-array with local Vth variability

Noise margin analysis for dynamic logic circuits

Session 5B - Efficient analog design space exploration techniques

Efficient analog platform characterization through analog constraint graphs

Performance-centering optimization for system-level analog design exploration

Hierarchical performance macromodels of feasible regions for synthesis of analog and RF circuits

Session 5C - Dynamic voltage scaling

Battery optimization vs energy optimization: which to choose and when?

Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems

Optimal integration of inter-task and intra-task dynamic voltage scaling techniques for hard real-time applications

Compiler-directed voltage scaling on communication links for reducing power consumption

Session 5D - Biochips and DNA-Based nanofabrication

Design automation issues for biofluidic microchips

Design of DNA origami

Kauffman networks: analysis and applications

Session 6A - Efficient simulation and synthesis methodologies for analog circuits

Parameterized model order reduction of nonlinear dynamical systems

Fast-yet-accurate PVT simulation by combined direct and iterative methods

Robust automated synthesis methodology for integrated spiral inductors with variability

Session 6B - Technology mapping and timing analysis

Statistical technology mapping for parametric yield

Reducing structural bias in technology mapping

Improving the efficiency of static timing analysis with false paths

Session 6C - Power aware system architecture and software optimizations

Total power-optimal pipelining and parallel processing under process variations in nanometer technology

Serial-link bus: a low-power on-chip bus architecture

New decompilation techniques for binary-level co-processor generation

Session 6D - Cellular array architectures

Cellular wave computers and CNN technology - a SoC architecture with xK processors and sensor arrays

Eliminating wire crossings for molecular quantum-dot cellular automata implementation

Session 7A - Variability aware clocking

Statistical timing analysis driven post-silicon-tunable clock-tree synthesis

TACO: temperature aware clock-tree optimization

Statistical based link insertion for robust clock network design

Practical techniques to reduce skew and its variations in buffered clock networks

Session 7B - Oscillator analysis

An efficient and robust technique for tracking amplitude and frequency envelopes in oscillators

Oscillator-AC: restoring rigour to linearized small-signal analysis of oscillators

A multi-harmonic probe technique for computing oscillator steady states

An efficient and accurate algorithm for autonomous envelope following with applications

Steady-state analysis of voltage and current controlled oscillators

Session 7C - Power noise and thermal issues

Timing-aware power noise reduction in layout

A high efficiency full-chip thermal simulation algorithm

Fast thermal simulation for architecture level dynamic thermal management

Variational analysis of large power grids by exploring statistical sampling sharing and spatial locality

Session 7D - Nanocomputing

The impact of the nanoscale on computing systems

Computer-aided design for DNA self-assembly: process and applications

A mapping algorithm for defect-tolerance of reconfigurable nano-architectures

Session 8A - Extraction and modeling for interconnect structures

FastSies: a fast stochastic integral equation solver for modeling the rough surface effect

Efficient statistical capacitance variability modeling with orthogonal principle factor analysis

Reducing pessimism in RLC delay estimation using an accurate analytical frequency dependent model for inductance

Session 8B - Timing and power optimization

Statistical critical path analysis considering correlations

Discrete Vt assignment and gate sizing using a self-snapping continuous formulation

Formalizing designer's preferences for multiattribute optimization with application to leakage-delay tradeoffs

Session 8C - System-level variability modeling

Projection-based performance modeling for inter/intra-die variations

System-level power and thermal modeling and analysis by orthogonal polynomial based response surface approach (OPRS)

Accurate estimation and modeling of total chip leakage considering inter- & intra-die process variations

Session 8D - Routing [breaker page]

Thermal via planning for 3-D ICs

A routing algorithm for flip-chip design

An escape routing framework for dense boards with high-speed design constraints

Optimal routing algorithms for pin clusters in high-density multichip modules

Session 9A - New frontiers in high-level synthesis

Weighted control scheduling

Hardware synthesis from guarded atomic actions with performance specifications

Fast timing closure by interconnect criticality driven delay relaxation

Sesison 9B - Advances in model order reduction approaches

Fast balanced stochastic truncation via a quadratic extension of the alternating direction implicit iteration

Parameterized interconnect order reduction with explicit-and-implicit multi-parameter moment matching for inter/intra-die variations

A more reliable reduction algorithm for behavioral model extraction

An efficient method for terminal reduction of interconnect circuits considering delay variations

Session 9C - Statistical timing analysis

Statistical timing analysis with two-sided constraints

A unified framework for statistical timing analysis with coupling and multiple input switching

Defining statistical sensitivity for timing optimization of logic circuits with large-scale process and environmental variations

Session 9D - Problem structure in formal verification

Verification of executable pipelined machines with bit-level interfaces

A complete compositional reasoning framework for the efficient verification of pipelined machines

Post-verification debugging of hierarchical designs

Efficient LTL compilation for SAT-based model checking

SAT based solutions for consistency problems in formal property specifications for open systems

Session 10A - Analytical placement

Architecture and details of a high quality, large-scale analytical placer

Mixed-size placement via line search

A hybrid linear equation solver and its application in quadratic placement

Session 10B - Embedded tutorial: hardware and software design of energy efficient sensor platforms

Energy-efficient platform designs for real-world wireless sensing applications

Power-aware microsensor design

System software techniques for low-power operation in wireless sensor networks

Session 10C - Improving the accuracy of static timing analysis

Expanding the frequency range of AWE via time shifting

A sliding window scheme for accurate clock mesh analysis

Accurate delay computation for noisy waveform shapes

Pessimism reduction in crosstalk noise aware STA

Session 10D - Embedded tutorial : formal eguivalence checking between system-level models and RTL

Embedded tutorial: formal equivalence checking between system-level models and RTL

Session 11A - Embedded tutorial: emergent communication

Global signaling over lossy transmission lines

Session 11B - Addressing emerging challenges for SoCs

A cache-defect-aware code placement algorithm for improving the performance of processors

Improving scratch-pad memory reliability through compiler-guided data block duplication

An architecture and a wrapper synthesis approach for multi-clock latency-insensitive systems

Memory access optimization of dynamic binary translation for reconfigurable architectures

Session 11C - Statistical optimization

Parametric yield maximization using gate sizing based on efficient statistical power and delay gradient computation

Gate sizing using incremental parameterized statistical timing analysis

Statistical gate sizing for timing yield optimization

Session 11D - Making model checking practical

Simulation-based bug trace minimization with BMC-based refinement

Complementary use of runtime validation and model checking

Scalable compositional minimization via static analysis

Transition-by-transition FSM traversal for reachability analysis in bounded model checking

Automatic generalized phase abstraction for formal verification

CDMA/FDMA-interconnects for future ULSI communications

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)

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

Synthesis methodology for built-in at-speed testing

Content Provider	IEEE Xplore Digital Library
Author	Yinghua Li Kondratyev, A. Brayton, R.
Copyright Year	2005
Description	Author affiliation: California Univ., Berkeley, CA, USA (Yinghua Li)
Abstract	We discuss a new synthesis flow, which offers the ability to do easy delay testing almost free in terms of its impact on speed and area compared to corresponding implementations with standard cells. The methodology uses matched delays in pre-charged PLAs and bundled routing to produce a completion signal, which is guaranteed to lie on all critical paths. We give a nondelay testing method for ensuring matched delays are correct, i.e. that all completion signals arrive after their corresponding data signals. The design margins of the matched delays can be small since they are internal to the PLAs, which are regular structures and therefore more predictable.
Starting Page	183
Ending Page	188
File Size	292067
Page Count	6
File Format	PDF
ISBN	078039254X
DOI	10.1109/ICCAD.2005.1560061
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2005-11-06
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Programmable logic arrays Circuit testing Delay estimation Clocks Encoding Signal synthesis Latches Microprocessors Timing Rails
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