PALMINI—fast Boolean minimizer for personal computers
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
On allocating subcubes in a hypercube multiprocessor
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
25 years of DAC Papers on Twenty-five years of electronic design automation
New methods in the analysis of logic minimization data and algorithms
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Calculation of the Rademacher-Walsh spectrum from a reduced representation of Boolean functions
EURO-DAC '92 Proceedings of the conference on European design automation
M32: a constructive multilevel logic synthesis system
DAC '98 Proceedings of the 35th annual Design Automation Conference
BECOME: behavior level circuit synthesis based on structure mapping
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Bridge: a versatile behavioral synthesis system
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
MACDAS: multi-level AND-OR circuit synthesis using two-variable function generators
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Knowledge-based expert system for hardware logic design
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Application of Bipartite Graphs for Achieving Race-Free State Assignments
IEEE Transactions on Computers
Binary Rule Generation via Hamming Clustering
IEEE Transactions on Knowledge and Data Engineering
A high level synthesis tool for MOS chip design
DAC '84 Proceedings of the 21st Design Automation Conference
DAC '84 Proceedings of the 21st Design Automation Conference
Representation & combination of Boolean functions using APL
APL '84 Proceedings of the international conference on APL
Cubical notation for computer-aided processing of multiple-valued switching functions
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
Identification of different functional properties of multiple valued switching functions
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
The SLIDE simulator: A facility for the design and analysis of computer interconnections
DAC '80 Proceedings of the 17th Design Automation Conference
Automatic design with dependence graphs
DAC '80 Proceedings of the 17th Design Automation Conference
DAC '80 Proceedings of the 17th Design Automation Conference
Logic design automation of diagnosable MOS combinational logic networks
DAC '77 Proceedings of the 14th Design Automation Conference
A logic minimizer for VLSI PLA design
DAC '82 Proceedings of the 19th Design Automation Conference
Hardware systems in the core curriculum of a computer science ph.d. program
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
Speculation on the future of design automation
DAC '74 Proceedings of the 11th Design Automation Workshop
Design and verification of large-scale computers by using DDL
DAC '79 Proceedings of the 16th Design Automation Conference
Multiple Faults: Modeling, Simulation and Test
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Hi-index | 0.01 |