NDLI: New decompilation techniques for binary-level co-processor generation

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

Table of contents

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Fast algorithms for IR drop analysis in large power grid

Incremental partitioning-based vectorless power grid verification

Static timing analysis considering power supply variations

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

Performance analysis of carbon nanotube interconnects for VLSI applications

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

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

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

Design automation issues for biofluidic microchips

Design of DNA origami

Kauffman networks: analysis and applications

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

Statistical technology mapping for parametric yield

Reducing structural bias in technology mapping

Improving the efficiency of static timing analysis with false paths

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

CDMA/FDMA-interconnects for future ULSI communications

The feasibility of on-chip interconnection using antennas

Global signaling over lossy transmission lines

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

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

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

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

New decompilation techniques for binary-level co-processor generation

Content Provider	ACM Digital Library
Author	Vahid, F. Stiff, G.
Abstract	Existing ASIPs (application-specific instruction-set processors) and compiler-based co-processor synthesis approaches meet the increasing performance requirements of embedded applications while consuming less power than high-performance gigahertz microprocessors. However, existing approaches place restrictions on software languages and compilers. Binary-level co-processor generation has previously been proposed as a complementary approach to reduce impact on tool restrictions, supporting all languages and compilers, at the cost of some decrease in performance. In a binary-level approach, decompilation recovers much of the high-level information, like loops and arrays, needed for effective synthesis, and in many cases yields hardware similar to that of a compiler-based approach. However, previous binary-level approaches have not considered the effects of software compiler optimizations on the resulting hardware. In this paper, we introduce two new decompilation techniques, strength promotion and loop rerolling, and show that they are necessary to synthesize an efficient custom hardware coprocessor from a binary in the presence of software compiler optimizations. In addition, unlike previous approaches, we show the robustness of binary-level co-processor generation by achieving order of magnitude speedups for binaries generated for three different instruction sets, MIPS, ARM, and MicroBlaze, using two different levels of compiler optimizations.
Starting Page	547
Ending Page	554
Page Count	8
File Format	PDF
ISBN	078039254X
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2005-05-31
Access Restriction	Subscribed
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