NDLI: Fast functional evaluation of candidate OBDD variable orderings

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

1993 European Conference on Design Automation with the European Event in ASIC Design

[1992] Proceedings The European Conference on Design Automation

Proceedings of the European Conference on Design Automation.

EDAC. Proceedings of the European Conference on Design Automation

Fast functional evaluation of candidate OBDD variable orderings

Resolution-based correctness proofs of synchronous circuits

Correct interactive transformational synthesis of DSP hardware

Verification of synthesized circuits at register transfer level with flow graphs

Tool communication in an integrated synthesis environment

A distributed engineering database management system for IC design

An approach to design flow management in CAD frameworks (for VLSI)

Why to incorporate a data definition language into a CAD frameworks extension language

On variable ordering of binary decision diagrams for the application of multi-level logic synthesis

PHIFACT-a design space exploration program

Synthesis of multi-level logic with one symbolic input

PLATO-a CAD tool for logic synthesis based on decomposition

An approach to the analysis and test of crosstalk faults in digital VLSI circuits

Detection of PLA multiple crosspoint faults

A probabilistic fault model for analog faults

The automatic diagnosis of faults in analogue and mixed-signal circuits

Formal sizing rules of CMOS circuits

Delay estimation for CMOS functional cells

Electrical modelling of lossy on-chip multilevel interconnecting lines

Restructuring VLSI layout representations for efficiency

Address generation for array access based on modulus m counters

High level synthesis: a data path partitioning method dedicated to speed enhancement

Datapath optimization using feedback

Eldo-XL: a software accelerator for the analysis of digital MOS circuits by an analog simulator

SWEC: a stepwise equivalent conductance timing simulator for CMOS VLSI circuits

Circuit partitioning for waveform relaxation

Performance macromodelling and optimization of regular VLSI structures

Glue-logic partitioning for floorplans with a rectilinear datapath

Towards optimizing global mincut partitioning

SHARP-looking geometric partitioning

Partitioning a network into n pieces with a time-efficient net cost function

Exact and heuristic algorithms for the minimization of incompletely specified state machines

Fast heuristic algorithms for finite state machine minimization

Formal method for self-timed design

Array folding using heuristics and simulated annealing

Automated test pattern generation for the Cathedral-II/2nd architectural synthesis environment

HITEC: a test generation package for sequential circuits

On the selection of a partial scan path with respect to target faults

Model-based fault diagnosis of sequential circuits and its acceleration

An algorithm for improving optimal placement for river-routing

An integrated layout system for sea-of-gates module generation

A global router for sea-of-gates circuits

Mickey: a macro cell global router

TATOO: an industrial timing analyzer with false path elimination and test pattern generation

TAS: an accurate timing analyser for CMOS VLSI

A hierarchical approach to timing verification in CMOS VLSI design

Clock independent timing verification of level-sensitive latches

Test scheduling and controller synthesis in the CADDY-system

Synthesis of fully testable sequential machines

MACHETE: synthesis of sequential machines for easy testability

Testability analysis of hierarchical finite state machines

Area and performance optimizations in path-based scheduling

CASCH-a scheduling algorithm for 'high level'-synthesis

Specification of timing constraints for controller synthesis

Parallel switch-level simulation for VLSI

Functional abstraction of logic gates for switch-level simulation

Incremental switch-level simulation with zero/integer-delay

On probabilistic switch-level simulation for asynchronous circuits

Floorplanning strategy for mixed analog-digital VLSI integrated circuits

LAST: a layout area and shape function estimator for high level applications

Efficient shape curve construction in floorplan design

Goal orientated slicing enumeration through shape function clipping

Optimization of microcontrollers by partitioning

A new decomposition method for multilevel circuit design

Decomposing data machines

The VLSI-programming language Tangram and its translation into handshake circuits

Translating system specifications to VHDL

Formal methods for silicon compilation

Data flow graphs: system specification with the most unrestricted semantics

GENVIEW: a portable source-level debugger for macrocell generators

A framework for hierarchical performance analysis (of VLSI)

HERESY: a hybrid approach to automatic schematic generation (for VLSI)

GRTL-a graphical platform for pipelined system design

Improved force-directed scheduling

PHIDEO: a silicon compiler for high speed algorithms

Affine transformations for multi-dimensional signal processing on ASIC regular arrays

Switch and logic-level modeling in EDIF 2 0 0: limitations and proposed solutions

Design of a persistent programming environment in an object oriented language using clustering and composite objects

A hardware design system based on object-oriented principles

Design by similarity using transaction modeling and statistical techniques

An automatic synthesizer for CMOS operational amplifiers

DONALD: a workbench for interactive design space exploration and sizing of analog circuits

A new approach to layout of custom analog cells

Interactive symbolic distortion analysis of analogue integrated circuits

Symbolic implication in test generation

Structure based methods for parallel pattern fault simulation in combinational circuits

Experiments with autonomous test of PLAs

A self-checking PLA automatic generator tool based on unordered codes encoding

Circuit partitioning into small sets: a tool to support testing with further applications

Iterative compaction: an improved approach to graph and circuit bisection

On L*n Boolean matrices with all L*k submatrices having 2/sup k/ distinct row vectors

Technology mapping for a two-output RAM-based field programmable gate array

A fast and efficient algorithm for determining fanout trees in large networks

Optimization techniques for multiple output function synthesis

Concurrent min-max simulation

Hybrid compiled/interpreted simulation of MOS circuits

Periodic signal suppression in a concurrent fault simulator

A proposed hardware fault simulation engine

A performance analysis tool for performance-driven micro-cell generation

Module synthesis for finite state machines

Fast functional evaluation of candidate OBDD variable orderings

Content Provider	IEEE Xplore Digital Library
Author	Ross, D.E. Butler, K.M. Kapur, R. Mercer, M.R.
Copyright Year	1991
Description	Author affiliation: Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA (Ross, D.E.; Butler, K.M.; Kapur, R.; Mercer, M.R.)
Abstract	Symbolic simulation via ordered binary decision diagrams (OBDDs) is becoming more feasible each year. These representations are often very efficient under an appropriate ordering of the variables of the functions represented. Recently, heuristics for ordering variables have been developed, but due to the nature of heuristics, no single heuristic always produces an appropriate ordering. The authors develop and analyze a technique for selecting the best of several candidate orderings. The ordering selection method is fast. Its ranking of an ordering is compared to the actual performance of an ordering during functionals (OBDD) calculations in circuits from the ISCAS85 combinational benchmarks. Compared to any previously published single ordering heuristic, the method allows OBDD calculations using less cumulative memory over all six circuits investigated, and also produces over an order of magnitude improvement for one or more of these circuits, over every single heuristic examined.<>
Starting Page	4
Ending Page	10
File Size	679758
Page Count	7
File Format	PDF
DOI	10.1109/EDAC.1991.206348
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1991-02-25
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Circuit simulation Logic circuits Computational modeling Computer simulation Data structures Boolean functions Cost function Logic design
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