Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
DAGON: technology binding and local optimization by DAG matching
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Mesh arrays and LOGICIAN: a tool for their efficient generation
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
The implementation of a state machine compiler
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
An expert system application in semicustom VLSI design
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
A rule-based circuit representation for automated CMOS design and verification
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Anatomy of a hardware compiler
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
DAGON: Technology binding and local optimization by DAG matching
25 years of DAC Papers on Twenty-five years of electronic design automation
The MICON system for computer design
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Multi-level logic synthesis using communication complexity
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Timing optimization for multi-level combinational networks
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Chortle-crf: Fast technology mapping for lookup table-based FPGAs
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Xmap: A technology mapper for table-lookup field-programmable gate arrays
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Coalgebraic division for multilevel logic synthesis
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
On the circuit implementation problem
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
BDDMAP: a technology mapper based on a new covering algorithm
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Boolean matching of sequential elements
DAC '94 Proceedings of the 31st annual Design Automation Conference
BooleDozer: logic synthesis for ASICs
IBM Journal of Research and Development
Design of a logic synthesis system (tutorial)
DAC '96 Proceedings of the 33rd annual Design Automation Conference
A new method towards achieving global optimality in technology mapping
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Hmap: a fast mapper for EPGAs using extended GBDD hash tables
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A survey of Boolean matching techniques for library binding
ACM Transactions on Design Automation of Electronic Systems (TODAES)
M32: a constructive multilevel logic synthesis system
DAC '98 Proceedings of the 35th annual Design Automation Conference
MILO: a microarchitecture and logic optimizer
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Logic synthesis and optimization benchmarks for the 1986 Design Automation Conference
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Watermarking while preserving the critical path
Proceedings of the 37th Annual Design Automation Conference
Circuit partitioning with coupled logic restructuring techniques
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
A new structural pattern matching algorithm for technology mapping
Proceedings of the 38th annual Design Automation Conference
Technology mapping for high-performance static CMOS and pass transistor logic designs
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Logic Synthesis and Verification
Technology-based transformations
Logic Synthesis and Verification
Behavioral Model Synthesis with Cones
IEEE Design & Test
Improved technology mapping using a new approach to Boolean matching
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Technology mapping using boolean matching and don't care sets
EURO-DAC '90 Proceedings of the conference on European design automation
A new decomposition method for multilevel circuit design
EURO-DAC '91 Proceedings of the conference on European design automation
IBM Journal of Research and Development - Mathematics and computing
Floorplan design for multi-million gate FPGAs
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
UbiComp'06 Proceedings of the 8th international conference on Ubiquitous Computing
| Hi-index | 0.00 |