FAON: a functional abstractor of netlists

J. Y. Murzin. FAON: a functional abstractor of netlists. In SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. pages 521-536, 1986.

Abstract

Abstract is missing.