Publisher
John Wiley & Sons Singapore Pte. Ltd
Reference4 articles.
1. M. Damiani G. De Micheli Observability don't care sets and Boolean relations Computer-Aided Design, 1990. ICCAD-90. Digest of Technical Papers, 1990 IEEE International Conference on 502 505 1990
2. Kluwer International Series in Engineering and Computer Science;Jha,1990
3. A topological search algorithm for ATPG
4. Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization;Kunz;IEEE Transactions Computer-Aided Design,1994