Kurt Keutzer

According to our database1, Kurt Keutzer authored at least 239 papers between 1987 and 2020.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 1996, "For contributions to logic synthesis and computer-aided design; specifically for the development of algorithms for the optimization of area, delay, testability, and power of digital circuits.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Rethinking Distributional Matching Based Domain Adaptation.
CoRR, 2020

SqueezeBERT: What can computer vision teach NLP about efficient neural networks?
CoRR, 2020

CoDeNet: Algorithm-hardware Co-design for Deformable Convolution.
CoRR, 2020

Visual Transformers: Token-based Image Representation and Processing for Computer Vision.
CoRR, 2020

ADAHESSIAN: An Adaptive Second Order Optimizer for Machine Learning.
CoRR, 2020

SqueezeSegV3: Spatially-Adaptive Convolution for Efficient Point-Cloud Segmentation.
CoRR, 2020

Rethinking Batch Normalization in Transformers.
CoRR, 2020

MADAN: Multi-source Adversarial Domain Aggregation Network for Domain Adaptation.
CoRR, 2020

Multi-source Domain Adaptation in the Deep Learning Era: A Systematic Survey.
CoRR, 2020

Train Large, Then Compress: Rethinking Model Size for Efficient Training and Inference of Transformers.
CoRR, 2020

Algorithm-hardware Co-design for Deformable Convolution.
CoRR, 2020

SqueezeWave: Extremely Lightweight Vocoders for On-device Speech Synthesis.
CoRR, 2020

ZeroQ: A Novel Zero Shot Quantization Framework.
CoRR, 2020

Checkmate: Breaking the Memory Wall with Optimal Tensor Rematerialization.
Proceedings of Machine Learning and Systems 2020, 2020

Large Batch Optimization for Deep Learning: Training BERT in 76 minutes.
Proceedings of the 8th International Conference on Learning Representations, 2020

Multi-Source Distilling Domain Adaptation.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

An End-to-End Visual-Audio Attention Network for Emotion Recognition in User-Generated Videos.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Q-BERT: Hessian Based Ultra Low Precision Quantization of BERT.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Inefficiency of K-FAC for Large Batch Size Training.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Fast Deep Neural Network Training on Distributed Systems and Cloud TPUs.
IEEE Trans. Parallel Distrib. Syst., 2019

Personalized Emotion Recognition by Personality-Aware High-Order Learning of Physiological Signals.
ACM Trans. Multim. Comput. Commun. Appl., 2019

Co-design of deep neural nets and neural net accelerators for embedded vision applications.
IBM J. Res. Dev., 2019

PyHessian: Neural Networks Through the Lens of the Hessian.
CoRR, 2019

Domain-Aware Dynamic Networks.
CoRR, 2019

HAWQ-V2: Hessian Aware trace-Weighted Quantization of Neural Networks.
CoRR, 2019

ANODEV2: A Coupled Neural ODE Evolution Framework.
CoRR, 2019

Large-batch training for LSTM and beyond.
Proceedings of the International Conference for High Performance Computing, 2019

Multi-source Domain Adaptation for Semantic Segmentation.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

ANODEV2: A Coupled Neural ODE Framework.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

PDANet: Polarity-consistent Deep Attention Network for Fine-grained Visual Emotion Regression.
Proceedings of the 27th ACM International Conference on Multimedia, 2019

LATTE: Accelerating LiDAR Point Cloud Annotation via Sensor Fusion, One-Click Annotation, and Tracking.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

ANODE: Unconditionally Accurate Memory-Efficient Gradients for Neural ODEs.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

SqueezeSegV2: Improved Model Structure and Unsupervised Domain Adaptation for Road-Object Segmentation from a LiDAR Point Cloud.
Proceedings of the International Conference on Robotics and Automation, 2019

Fast LSTM Inference by Dynamic Decomposition on Cloud Systems.
Proceedings of the 2019 IEEE International Conference on Data Mining, 2019

Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data.
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

HAWQ: Hessian AWare Quantization of Neural Networks With Mixed-Precision.
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

Synetgy: Algorithm-hardware Co-design for ConvNet Accelerators on Embedded FPGAs.
Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

Trust Region Based Adversarial Attack on Neural Networks.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

FBNet: Hardware-Aware Efficient ConvNet Design via Differentiable Neural Architecture Search.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

CycleEmotionGAN: Emotional Semantic Consistency Preserved CycleGAN for Adapting Image Emotions.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact?
IEEE Des. Test, 2018

Parameter Re-Initialization through Cyclical Batch Size Schedules.
CoRR, 2018

Mixed Precision Quantization of ConvNets via Differentiable Neural Architecture Search.
CoRR, 2018

Large batch size training of neural networks with adversarial training and second-order information.
CoRR, 2018

Unsupervised Domain Adaptation: from Simulation Engine to the RealWorld.
CoRR, 2018

Integrated Model, Batch, and Domain Parallelism in Training Neural Networks.
Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, 2018

Hessian-based Analysis of Large Batch Training and Robustness to Adversaries.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

EmotionGAN: Unsupervised Domain Adaptation for Learning Discrete Probability Distributions of Image Emotions.
Proceedings of the 2018 ACM Multimedia Conference on Multimedia Conference, 2018

A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving.
Proceedings of the 2018 ACM on International Conference on Multimedia Retrieval, 2018

A Novel Domain Adaptation Framework for Medical Image Segmentation.
Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2018

Affective Image Content Analysis: A Comprehensive Survey.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Counterexample-Guided Data Augmentation.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

SqueezeSeg: Convolutional Neural Nets with Recurrent CRF for Real-Time Road-Object Segmentation from 3D LiDAR Point Cloud.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

ImageNet Training in Minutes.
Proceedings of the 47th International Conference on Parallel Processing, 2018

Regret Minimization for Partially Observable Deep Reinforcement Learning.
Proceedings of the 6th International Conference on Learning Representations, 2018

Spatially Parallel Convolutions.
Proceedings of the 6th International Conference on Learning Representations, 2018

Shift: A Zero FLOP, Zero Parameter Alternative to Spatial Convolutions.
Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

SqueezeNext: Hardware-Aware Neural Network Design.
Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2018

2017
Integrated Model and Data Parallelism in Training Neural Networks.
CoRR, 2017

Keynote: Small Neural Nets Are Beautiful: Enabling Embedded Systems with Small Deep-Neural-Network Architectures.
CoRR, 2017

Shallow Networks for High-accuracy Road Object-detection.
Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, 2017

SqueezeDet: Unified, Small, Low Power Fully Convolutional Neural Networks for Real-Time Object Detection for Autonomous Driving.
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017

Small neural nets are beautiful: enabling embedded systems with small deep-neural-network architectures.
Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion, 2017

Boda: A Holistic Approach for Implementing Neural Network Computations.
Proceedings of the Computing Frontiers Conference, 2017

2016
Technology Mapping.
Encyclopedia of Algorithms, 2016

A Metaprogramming and Autotuning Framework for Deploying Deep Learning Applications.
CoRR, 2016

How to scale distributed deep learning?
CoRR, 2016

SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and <1MB model size.
CoRR, 2016

If I could only design one circuit ...: technical perspective.
Commun. ACM, 2016

Boda-RTC: Productive generation of portable, efficient code for convolutional neural networks on mobile computing platforms.
Proceedings of the 12th IEEE International Conference on Wireless and Mobile Computing, 2016

FireCaffe: Near-Linear Acceleration of Deep Neural Network Training on Compute Clusters.
Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition, 2016

2015
Convolutional Monte Carlo Rollouts in Go.
CoRR, 2015

DeepLogo: Hitting Logo Recognition with the Deep Neural Network Hammer.
CoRR, 2015

Audio-Based Multimedia Event Detection with DNNs and Sparse Sampling.
Proceedings of the 5th ACM on International Conference on Multimedia Retrieval, 2015

libHOG: Energy-Efficient Histogram of Oriented Gradient Computation.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014
Scalable multimedia content analysis on parallel platforms using python.
ACM Trans. Multim. Comput. Commun. Appl., 2014

DenseNet: Implementing Efficient ConvNet Descriptor Pyramids.
CoRR, 2014

2013
Hardware/software codesign for mobile speech recognition.
Proceedings of the INTERSPEECH 2013, 2013

Communication-minimizing 2D convolution in GPU registers.
Proceedings of the IEEE International Conference on Image Processing, 2013

Three Fingered Jack: Tackling Portability, Performance, and Productivity with Auto-Parallelized Python.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Measuring the gap between programmable and fixed-function accelerators: A case study on speech recognition.
Proceedings of the 2013 IEEE Hot Chips 25 Symposium (HCS), 2013

2012
Fast ℓ1-SPIRiT Compressed Sensing Parallel Imaging MRI: Scalable Parallel Implementation and Clinically Feasible Runtime.
IEEE Trans. Medical Imaging, 2012

Accelerating Value-at-Risk estimation on highly parallel architectures.
Concurr. Comput. Pract. Exp., 2012

A Predictive Model for Solving Small Linear Algebra Problems in GPU Registers.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

clSpMV: A Cross-Platform OpenCL SpMV Framework on GPUs.
Proceedings of the International Conference on Supercomputing, 2012

Automatic generation of application-specific accelerators for FPGAs from python loop nests.
Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

2011
A Special Section on Multicore Parallel CAD: Algorithm Design and Programming.
ACM Trans. Design Autom. Electr. Syst., 2011

Guest Editors' Introduction: Parallelism on the Desktop.
IEEE Softw., 2011

A parallel region based object recognition system.
Proceedings of the IEEE Workshop on Applications of Computer Vision (WACV 2011), 2011

Copperhead: compiling an embedded data parallel language.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Efficient Parallel CKY Parsing on GPUs.
Proceedings of the 12th International Conference on Parsing Technologies, 2011

Practical parallel imaging compressed sensing MRI: Summary of two years of experience in accelerating body MRI of pediatric patients.
Proceedings of the 8th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2011

Communication-Avoiding QR Decomposition for GPUs.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Long term video segmentation through pixel level spectral clustering on GPUs.
Proceedings of the IEEE International Conference on Computer Vision Workshops, 2011

Considerations When Evaluating Microprocessor Platforms.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011

Fast speaker diarization using a high-level scripting language.
Proceedings of the 2011 IEEE Workshop on Automatic Speech Recognition & Understanding, 2011

PALLAS: Mapping Applications onto Manycore.
Proceedings of the Multiprocessor System-on-Chip - Hardware Design and Tool Integration., 2011

2010
Ubiquitous Parallel Computing from Berkeley, Illinois, and Stanford.
IEEE Micro, 2010

Parallel computing with patterns and frameworks.
XRDS, 2010

Efficient manycore CHMM speech recognition for audiovisual and multistream data.
Proceedings of the INTERSPEECH 2010, 2010

Exploring recognition network representations for efficient speech inference on highly parallel platforms.
Proceedings of the INTERSPEECH 2010, 2010

Parallel BFS graph traversal on images using structured grid.
Proceedings of the International Conference on Image Processing, 2010

Dense Point Trajectories by GPU-Accelerated Large Displacement Optical Flow.
Proceedings of the Computer Vision, 2010

2009
ACM Transactions on Design Automation of Electronic Systems (TODAES) special section call for papers: Parallel CAD: Algorithm design and programming.
ACM Trans. Design Autom. Electr. Syst., 2009

Parallel scalability in speech recognition.
IEEE Signal Process. Mag., 2009

A view of the parallel computing landscape.
Commun. ACM, 2009

Acceleration of market value-at-risk estimation.
Proceedings of the 2nd Workshop on High Performance Computational Finance, 2009

A fully data parallel WFST-based large vocabulary continuous speech recognition on a graphics processing unit.
Proceedings of the INTERSPEECH 2009, 2009

Image feature extraction for mobile processors.
Proceedings of the 2009 IEEE International Symposium on Workload Characterization, 2009

Scalable HMM based inference engine in large vocabulary continuous speech recognition.
Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

Efficient, high-quality image contour detection.
Proceedings of the IEEE 12th International Conference on Computer Vision, ICCV 2009, Kyoto, Japan, September 27, 2009

Optimizing the use of GPU memory in applications with large data sets.
Proceedings of the 16th International Conference on High Performance Computing, 2009

2008
Technology Mapping.
Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

The Concurrency Challenge.
IEEE Des. Test Comput., 2008

Fast support vector machine training and classification on graphics processors.
Proceedings of the Machine Learning, 2008

Architecting parallel programs.
Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Reinventing EDA with manycore processors.
Proceedings of the 45th Design Automation Conference, 2008

Parallelizing CAD: a timely research agenda for EDA.
Proceedings of the 45th Design Automation Conference, 2008

2007
Efficient Parallelization of H.264 Decoding with Macro Block Level Scheduling.
Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, 2007

A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Megatrends and EDA 2017.
Proceedings of the 44th Design Automation Conference, 2007

Closing the Power Gap between ASIC and Custom - Tools and Techniques for Low Power Design.
Springer, ISBN: 978-0-387-25763-1, 2007

2005
Linear programming for sizing, Vth and Vdd assignment.
Proceedings of the 2005 International Symposium on Low Power Electronics and Design, 2005

An FPGA-based Soft Multiprocessor System for IPv4 Packet Forwarding.
Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), 2005

Soft multiprocessor systems for network applications (abstract only).
Proceedings of the ACM/SIGDA 13th International Symposium on Field Programmable Gate Arrays, 2005

Closing the power gap between ASIC and custom: an ASIC perspective.
Proceedings of the 42nd Design Automation Conference, 2005

Using minimal minterms to represent programmability.
Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

An automated exploration framework for FPGA-based soft multiprocessor systems.
Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

2004
NP-Click: A Productive Software Development Approach for Network Processors.
IEEE Micro, 2004

Developing a Flexible Interface for RapidIO, Hypertransport, and PCI-Express.
Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004

Is statistical timing statistically significant?
Proceedings of the 41th Design Automation Conference, 2004

EDA: this is serious business.
Proceedings of the 41th Design Automation Conference, 2004

Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures.
Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2004

Static Crosstalk-Noise Analysis - For Deep Sub-Micron Digital Designs.
Springer, ISBN: 978-1-4020-8091-3, 2004

Closing the Gap Between ASIC and Custom - Tools and Techniques for High-Performance ASIC Design.
Springer, ISBN: 978-1-4020-7113-3, 2004

2003
Minimization of dynamic and static power through joint assignment of threshold voltages and sizing optimization.
Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003

Low Power Multiplication Algorithm for Switching Activity Reduction through Operand Decomposition.
Proceedings of the 21st International Conference on Computer Design (ICCD 2003), 2003

Comparing Analytical Modeling with Simulation for Network Processors: A Case Study.
Proceedings of the 2003 Design, 2003

Programming challenges in network processor deployment.
Proceedings of the International Conference on Compilers, 2003

Mapping Concurrent Applications onto Architectural Platforms.
Proceedings of the Networks on Chip, 2003

2002
Impact of spatial intrachip gate length variability on theperformance of high-speed digital circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2002

Developing Architectural Platforms: A Disciplined Approach.
IEEE Des. Test Comput., 2002

Minimum-power retiming for dual-supply CMOS circuits.
Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 2002

From blind certainty to informed uncertainty.
Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 2002

On convergence of switching windows computation in presence of crosstalk noise.
Proceedings of 2002 International Symposium on Physical Design, 2002

From ASIC to ASIP: The Next Design Discontinuity.
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

Refining switching window by time slots for crosstalk noise calculation.
Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Design Tools for Application Specific Embedded Processors.
Proceedings of the Embedded Software, Second International Conference, 2002

Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant?
Proceedings of the 39th Design Automation Conference, 2002

A general probabilistic framework for worst case timing analysis.
Proceedings of the 39th Design Automation Conference, 2002

2001
OCCOM-efficient computation of observability-based code coveragemetrics for functional verification.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2001

Functional vector generation for HDL models using linearprogramming and Boolean satisfiability.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2001

Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits?
J. Electronic Testing, 2001

Coverage Metrics for Functional Validation of Hardware Designs.
IEEE Des. Test Comput., 2001

Scripting for EDA Tools: A Case Study.
Proceedings of the 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 2001

A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage.
Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001

Bus Encoding to Prevent Crosstalk Delay.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design.
Proceedings of the 38th Design Automation Conference, 2001

A Quick Safari Through the Reconfiguration Jungle.
Proceedings of the 38th Design Automation Conference, 2001

Achieving 550Mhz in an ASIC Methodology.
Proceedings of the 38th Design Automation Conference, 2001

2000
A global wiring paradigm for deep submicron design.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2000

System-level design: orthogonalization of concerns andplatform-based design.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2000

Impact of Systematic Spatial Intra-Chip Gate Length Variability on Performance of High-Speed Digital Circuits.
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Switching Window Computation for Static Timing Analysis in Presence of Crosstalk Noise.
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Miller Factor for Gate-Level Coupling Delay Calculation.
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Closing the gap between ASIC and custom: an ASIC perspective.
Proceedings of the 37th Conference on Design Automation, 2000

1999
A text-compression-based method for code size minimization in embedded systems.
ACM Trans. Design Autom. Electr. Syst., 1999

Rethinking Deep-Submicron Circuit Design.
IEEE Computer, 1999

Getting to the bottom of deep submicron II: a global wiring paradigm.
Proceedings of the 1999 International Symposium on Physical Design, 1999

The MARCO/DARPA Gigascale Silicon Research Center.
Proceedings of the IEEE International Conference On Computer Design, 1999

Towards true crosstalk noise analysis.
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Why is ATPG Easy?
Proceedings of the 36th Conference on Design Automation, 1999

Panel: Cell Libraries - Build vs. Buy; Static vs. Dynamic.
Proceedings of the 36th Conference on Design Automation, 1999

HW and SW in Embedded System Design: Loveboat, Shipwreck, or Ships Passing in the Night.
Proceedings of the 36th Conference on Design Automation, 1999

1998
A new viewpoint on code generation for directed acyclic graphs.
ACM Trans. Design Autom. Electr. Syst., 1998

Code density optimization for embedded DSP processors using data compression techniques.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1998

Code Optimization Techniques in Embedded DSP Microprocessors.
Design Autom. for Emb. Sys., 1998

An algorithmic approach to optimizing fault coverage for BIST logic synthesis.
Proceedings of the Proceedings IEEE International Test Conference 1998, 1998

Getting to the bottom of deep submicron.
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification.
Proceedings of the 35th Conference on Design Automation, 1998

Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability.
Proceedings of the 35th Conference on Design Automation, 1998

1997
Estimation of average switching activity in combinational logic circuits using symbolic simulation.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1997

The future of logic synthesis and physical design in deep-submicron process geometries.
Proceedings of the 1997 International Symposium on Physical Design, 1997

Challenges in CAD for the One Million Gate FPGA.
Proceedings of the 1997 ACM/SIGDA Fifth International Symposium on Field Programmable Gate Arrays, 1997

1996
Storage Assignment to Decrease Code Size.
ACM Trans. Program. Lang. Syst., 1996

Addendum to "Synthesis of robust delay-fault testable circuits: Theory".
IEEE Trans. on CAD of Integrated Circuits and Systems, 1996

Register Transfer Level Synthesis: From Theory to Practice.
Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

Mobile Communications: Demands on VLSI Technology, Design and CAD.
Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

What is the state of the art in commercial EDA tools for low power?
Proceedings of the 1996 International Symposium on Low Power Electronics and Design, 1996

An observability-based code coverage metric for functional simulation.
Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

The Need for Formal Methods for Integrated Circuit Design.
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995
Synthesis of hazard-free asynchronous circuits with bounded wire delays.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1995

Synthesis for testability techniques for asynchronous circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1995

Instruction selection using binate covering for code size optimization.
Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

A Design and Validation System for Asynchronous Circuits.
Proceedings of the 32st Conference on Design Automation, 1995

1994
Verification of asynchronous interface circuits with bounded wire delays.
J. VLSI Signal Process., 1994

Certified timing verification and the transition delay of a logic circuit.
IEEE Trans. Very Large Scale Integr. Syst., 1994

Event suppression: improving the efficiency of timing simulation for synchronous digital circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1994

Challenges in code generation for embedded processors.
Proceedings of the Code Generation for Embedded Processors [Dagstuhl Workshop, Dagstuhl, Germany, August 31, 1994

Hardware-Software Co-Design and ESDA.
Proceedings of the 31st Conference on Design Automation, 1994

1993
Statistical timing analysis of combinational logic circuits.
IEEE Trans. Very Large Scale Integr. Syst., 1993

Computation of floating mode delay in combinational circuits: practice and implementation.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1993

Computation of floating mode delay in combinational circuits: theory and algorithms.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1993

Delay-fault test generation and synthesis for testability under a standard scan design methodology.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1993

Path-delay-fault testability properties of multiplexor-based networks.
Integr., 1993

Gate-Delay-Fault Testability Properties of Multiplexor-Based Networks.
Formal Methods Syst. Des., 1993

A synthesis-based test generation and compaction algorithm for multifaults.
J. Electronic Testing, 1993

What is the Next Big Productivity Boost for Designers? (Panel Abstract).
Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992
On properties of algebraic transformations and the synthesis of multifault-irredundant circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1992

Estimation of power dissipation in CMOS combinational circuits using Boolean function manipulation.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1992

Validatable nonrobust delay-fault testable circuits via logic synthesis.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1992

Synthesis of robust delay-fault-testable circuits: practice.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1992

Synthesis of robust delay-fault-testable circuits: theory.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1992

Necessary and sufficient conditions for hazard-free robust transistor stuck-open-fault testability in multilevel networks.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1992

Statistical Timing Analysis of Combinational Circuits.
Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

On average power dissipation and random pattern testability of CMOS combinational logic networks.
Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992

Estimation of Average Switching Activity in Combinational and Sequential Circuits.
Proceedings of the 29th Design Automation Conference, 1992

1991
Is redundancy necessary to reduce delay?
IEEE Trans. on CAD of Integrated Circuits and Systems, 1991

A unified approach to the synthesis of fully testable sequential machines.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1991

An automata-theoretic approach to behavioral equivalence.
Integr., 1991

Recent progress in synthesis for testability.
Proceedings of the 9th IEEE VLSI Test Symposium (VTS'91), 1991

The Need for Formal Verification in Hardware Design and What Formal Verification Has Not Done for Me Lately.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

A Partial Enhanced-Scan Approach to Robust Delay-Fault Test Generation for Sequential Circuits.
Proceedings of the Proceedings IEEE International Test Conference 1991, 1991

Design Verfication and Reachability Analysis Using Algebraic Manipulation.
Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

Delay Computation in Combinational Logic Circuits: Theory and Algorithms.
Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Algorithms for Synthesis of Hazard-Free Asynchronous Circuits.
Proceedings of the 28th Design Automation Conference, 1991

Robust Delay-Fault Test Generation and Synthesis for Testability Under A Standard Scan Design Methodology.
Proceedings of the 28th Design Automation Conference, 1991

1990
Design of integrated circuits fully testable for delay-faults and multifaults.
Proceedings of the Proceedings IEEE International Test Conference 1990, 1990

Testability-Preserving Circuit Transformations.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

Impact and Evaluation of Competing Implementation Media for ASIC's (Panel Abstract).
Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

Synthesis and Optimization Procedures for Robustly Delay-Fault Testable Combinational Logic Circuits.
Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

1989
Addendum to 'A kernel-finding state assignment algorithm for multi-level logic'.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1989

On properties of algebraic transformation and the multifault testability of multilevel logic.
Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

Boolean minimization and algebraic factorization procedures for fully testable sequential machines.
Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

Three Competing Design Methodologies for ASIC's: Architectual Synthesis, Logic Synthesis, Logic Synthesis and Module Generation.
Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1988
Anatomy of a Hardware Compiler.
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

A Kernel-Finding State Assignment Algorithm for Multi-Level Logic.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987
DAGON: Technology Binding and Local Optimization by DAG Matching.
Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987


  Loading...