Logic verification algorithms and their parallel implementation
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
A parallel PLA minimization program
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
ProperCAd: A Portable Object-Oriented Parallel Environment for VLSI CAD
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Multilevel logic network synthesis system, sylon-xtrans and read-only memory minimization procedure, minrom
Distributed last call optimization for portable parallel logic programming
ACM Letters on Programming Languages and Systems (LOPLAS)
Hi-index | 0.00 |