NDLI: Panel: Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible?

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

2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC)

2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)

2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC)

DAC Design Automation Conference 2012

2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC)

Design Automation Conference

2009 46th ACM/IEEE Design Automation Conference

2008 45th ACM/IEEE Design Automation Conference

2007 44th ACM/IEEE Design Automation Conference

2006 43rd ACM/IEEE Design Automation Conference

Proceedings. 42nd Design Automation Conference, 2005.

Proceedings. 41st Design Automation Conference, 2004.

Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)

Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)

Proceedings 37th Design Automation Conference

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361)

Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175)

Proceedings of the 34th Design Automation Conference

33rd Design Automation Conference Proceedings, 1996

32nd Design Automation Conference

31st Design Automation Conference

[1992] Proceedings 29th ACM/IEEE Design Automation Conference

28th ACM/IEEE Design Automation Conference

27th ACM/IEEE Design Automation Conference

26th ACM/IEEE Design Automation Conference

25th ACM/IEEE, Design Automation Conference.Proceedings 1988.

24th ACM/IEEE Design Automation Conference

23rd ACM/IEEE Design Automation Conference

22nd ACM/IEEE Design Automation Conference

21st Design Automation Conference Proceedings

20th Design Automation Conference Proceedings

19th Design Automation Conference

18th Design Automation Conference

17th Design Automation Conference

16th Design Automation Conference

15th Design Automation Conference

30th ACM/IEEE Design Automation Conference

DAC '93 [Cover page]

DAC'93 Title Page

DAC'93 Copyright Page

Executive Committee

General Chair's Message

Technical Program Committee

Call for Papers

Table of contents

1993 Keynote Address

An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines

Elimination of Dynamic Hazards by Factoring

Optimized State Assignment of Single Fault Tolerant FSMs Based on SEC Codes

Minimal Shift Counters and Frequency Division

Algorithms for Approximate FSM Traversal

SubGemini: Identifying SubCircuits using a Fast Subgraph Isomorphism Algorithm

Resistance Extraction Using a Routing Algorithm

HV/VH Trees: A New Spatial Data Structure for Fast Region Queries

Increasing Design Quality and Engineering Productivity through Design Reuse

Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping

Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs

Technology Decomposition and Mapping Targeting Low Power Dissipation

Technology Mapping for Low Power

INCREDYBLE-TG: INCREmental DYnamic Test Generation Based on LEarning

Automatic Functional Test Generation Using The Extended Finite State Machine Model

Speed up of Behavioral A.T.P.G. Using a Heuristic Criterion

A State Traversal Algorithm Using a State Covariance Matrix

Cost-Effective Generation of Minimal Test Sets for Stuck-at Faults in Combinational Logic Circuits

Sequential Circuit Test Generation on a Distributed System

VIPER: An Efficient Vigorously Sensitizable Path Extractor

A Polynomial-Time Heuristic Approach to Approximate a Solution to the False Path Problem

A Verification Technique for Gated Clock

Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions

Timing Optimization by Gate Resizing and Critical Path Identification

Panel: What Is the Next Big Productivity Boost for Designers?

Improved Methods for Worst-Case Analysis and Optimization Incorporating Operating Tolerances

A New Optimizer for Performance Optimization of Analog Integrated Circuits

Performance-Constrained Worst-Case Variability Minimization of VLSI Circuits

Analog System Verification in the Presence of Parasitics Using Behavioral Simulation

Panel: Logic Emulation: A Niche or a Future Standard for Design Verification?

Reliable Non-Zero Skew Clock Trees Using Wire Width Optimization

Performance Oriented Rectilinear Steiner Trees

Performance-Driven Steiner Tree Algorithms for Global Routing

High-Performance Routing Trees with Identified Critical Sinks

The Sea-of-Wires Array Synthesis System

Experiences in Functional Validation of a High Level Synthesis System

An Efficient Method of Partitioning Circuits for Multiple-FPGA Implementation.

Performance Directed Technology Mapping for Look-Up Table Based FPGAs

On Area/Depth Trade-off in LUT-Based FPGA Technology Mapping

MIM: Logic Module Independent Technology Mapping for Design and Evaluation of Antifuse-based FPGAs

Sequential Synthesis for Table Look Up Programmable Gate Arrays

Routability-Driven Fanout Optimization

Non-Scan Design-for-Testability Techniques for Sequential Circuits

An Efficient Partitioning Strategy for Pseudo-Exhaustive Testing

Partial Scan with Retiming

A Cost-Based Approach to Partial Scan

On Computing the Transitive Closure of a State Transition Relation

Reducing BDD Size by Exploiting Functional Dependencies

Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems

Information Modelling of EDIF

Panel: Life Expectancy of Standards

A Layout Estimation Algorithm for RTL Datapaths

Behavioral Synthesis of Highly Testable Data Paths under the Non-Scan and Partial Scan Environments

Utilization of Multiport Memories in Data Path Synthesis

Architectural Synthesis of Performance--Driven Multipliers with Accumulator Interleaving

Panel: Embedded Systems and Hardware-Software Co-Design: Panacea or Pandora's Box?

Optimal Clustering for Delay Minimization

Cost Minimization of Partitions into Multiple Devices

Iterative Wirability and Performance Improvement for FPGAs

On Routability Prediction for Field-Programmable Gate Arrays

The Clinton/Gore Technology Policies

High-Level Synthesis of Scalable Architectures for IIR Filters Using Multichip Modules

An Architectural Transformation Program for Optimization of Digital Systems by Multi-Level Decomposition

InSyn: Integrated Scheduling for DSP Applications

Estimating Architectural Resources and Performance for High-Level Synthesis Applications

Performance Enhancement of CMOS VLSI Circuits by Transistor Reordering

Evaluation by Parts of Mixed-Level DC-Connected Components in Logic Simulation

Comparative Design Validation Based on Event Pattern Mappings

Improved Techniques for Probabilistic Simulation Including Signal Correlation Effects

Resolving Signal Correlations for Estimating Maximum Currents in CMOS Combinational Circuits

MSTC: A Method for Identifying Overconstraints during Hierarchical Compaction

Cell-Based Hierarchical Pitchmatching Compaction Using Minimal LP

Optimal Graph Constraint Reduction for Symbolic Layout Compaction

A Compaction Method for Full Chip VLSI Layouts

High-Level Transformations for Minimizing Syntactic Variances

An Approach for Redesigning in Data Path Synthesis

High-level Symbolic Construction Techniques for High Performance Sequential Synthesis

High-Level Synthesis of Fault-Secure Microarchitectures

Towards Optimal System-Level Design

NEST: A Non-Enumerative Test Generation Method for Path Delay Faults in Combinational Circuits

Delay Fault Coverage and Performance Tradeoffs

Design for Testability for Path Delay Faults in Sequential Circuits

Bridge Fault Simulation Strategies for CMOS Integrated Circuits

Minimum Length Synchronizing Sequences of Finite State Machine

Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving

A Unified Approach to Language Containment and Fair CTL Model Checking

Panel: Are EDA Platform Preferences About to Shift

Sequential Circuit Delay Optimization Using Global Path Delays

Resynthesis of Multi-Phase Pipelines

TIM: A Timing Package for Two-Phase, Level-Clocked Circuitry

Diagnosis and Correction of Logic Design Errors in Digital Circuits

DRAFTS: Discretized Analog Circuit Fault Simulator

Fast Hierarchical Multi-Level Fault Simulation of Sequential Circuits with Switch-Level Accuracy

An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits

A Bounded 2D Contour Searching Algorithm for Floorplan Design with Arbitrarily Shaped Rectilinear and Soft Modules

Prime: A Timing-Driven Placement Tool Using A Piecewise Linear Resistive Network Approach

A Buffer Distribution Algorithm for High-Speed Clock Routing

Cooperative Approach to a Practical Analog LSI Layout System

Selective Pseudo Scan - Combinational Atpg with Reduced Scan in a Full Custom Risc Microprocessor

ABLE: AMD Backplane for Layout Engines

Practical Statistical Design of Complex Integrated Circuit Products

Rotation Scheduling: A Loop Pipelining Algorithm

Critical Path Minimization Using Retiming and Algebraic Speed-Up

A Tree-Based Scheduling Algorithm for Control-Dominated Circuits

Synthesis of Pipelined Instruction Set Processors

Panel: Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible?

An Efficient Multilayer MCM Router Based on Four-Via Routing

An Efficient Timing-Driven Global Routing Algorithm

A Negative Reinforcement Method for PGA Routing

Performance-Driven Interconnect Design Based on Distributed RC Delay Model

A Clustering-Based Optimization Algorithm in Zero-Skew Routings

Panel: Multi-vendor Tool Integration Experiences

ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions

A New Viewpoint on Two-Level Logic Minimization

Optimization of Combinational Logic Circuits Based on Compatible Gates

Optimization and Resynthesis of Complex Data-Paths

BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis

Design Management Using Dynamically Defined Flows

Active Documentation: a New Interface for VLSI Design

Performance Specification Using Attributed Grammars

An Information Model of Time

A Cross-Debugging Method for Hardware/Software Co-design Environments

FastHenry: A Multipole-Accelerated 3-D Inductance Extraction Program

High-Speed Interconnect Modeling and High-Accuracy Simulation Using SPICE and Finite Element Methods

Fast Approximation of the Transient Response of Lossy Transmission Line Trees

Analysis and Reliable Design of ECL Circuits with Distributed RLC Interconnections

Frequency Domain Microwave Modeling Using Retarded Partial Element Equivalent Circuits

The State of CAD and VLSI in Russia

The State of VHDL in Russia

The State of Simulation in Russia

The State of EDA in Russian Universities

An Efficient Non-Quasi-Static Diode Model for Circuit Simulation

S-Parameter Based Macro Model of Distributed-Lumped Networks Using Exponentially Decayed Polynomial Function

Addressing High-speed Interconnect Issues in Asymptotic Waveform Evaluation

Incremental Event-Driven Simulation of Digital FET Circuits

Panel: Where in the World Should CAD Software be Made?

Geometric Embeddings for Faster and Better Multi-Way Netlist Partitioning

Spectral K-Way Ratio-Cut Partitioning and Clustering

A Parallel Bottom-up Clustering Algorithm with Applications to Circuit Partitioning in VLSI Design

Quadratic Boolean Programming for Performance-Driven System Partitioning

Panel: The Key to EDA Results: Component & Library Management

Panel: Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible?

Content Provider	IEEE Xplore Digital Library
Copyright Year	1993
Abstract	Economic conversion means the shifting of resources from military to peacetime civilian uses. With the end of the cold war, a greater awareness of domestic needs, and the renewed debate over technology policy, conversion has become a very important topic, both in public policy and in business strategy. The electronics industry, and therefore the CAD industry, has depended on heavy government defense spending not only because of the large market it creates, but also as one of the principal sources of research funding. Since 1990 defense spending has been shrinking, and even deeper cuts are inevitable. For some this seems like a disaster, but it is also an opportunity to rethink and refashion the industry, orienting more toward meeting domestic needs in areas such as transportation, the environment, health care, education, and more efficient and higher quality manufacturing. The industry has a chance to play a vital, indeed essential, role in the post-cold-war economy and to give much needed service to the country. There are a number of important questions connected with economic conversion: - Can we reformulate our research agenda to address these problems, and if so, how? - What areas should we focus on? - What new ideas are worth pursuing? - How much retraining and rethinking will be needed, and how can it be done? - How will the institutions involved, including companies, universities and government labs, have to restructure themselves to meet the challenge? - What should the role of government be? This panel will examine these and related questions. It will begin with a talk of about fifteen minutes on conversion, and continue with statements from several panelists representing universities, industry and government.
Starting Page	589
Ending Page	589
File Size	48124
Page Count	1
File Format	PDF
ISBN	0897915771
ISSN	0738100X
DOI	10.1109/DAC.1993.204015
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1993-06-14
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Association for Computing Machinery, Inc. (ACM)
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