Design of Crosspoint-Irredundant PLAs Using Minimal Number of Control Inputs
IEEE Transactions on Computers
An incremental method for generating prime implicants/implicates
Journal of Symbolic Computation
Hyperneural Network-An Efficient Model for Test Generation in Digital Circuits
IEEE Transactions on Computers
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Application of Boolean expression minimization to learning via hierarchical generalization
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Logic Synthesis and Verification
An Efficient Algorithm to Generate Prime Implicants
Journal of Automated Reasoning
Computer aided minimization procedure for boolean functions
DAC '84 Proceedings of the 21st Design Automation Conference
Optimal Interconnections in the Design of Microprocessors and Digital Systems
IEEE Transactions on Computers
A Design for Testability of Undetectable Crosspoint Faults in Programmable Logic Arrays
IEEE Transactions on Computers
An Algorithm for Testing 2-Asummability of Boolean Functions
IEEE Transactions on Computers
| Hi-index | 0.01 |