Can I read Perturb and Simplify: Multi-level Boolean Network Optimizer on EtoBox?

Perturb and Simplify: Multi-level Boolean Network Optimizer by Shih-Chieh Chang and Malgorzata Marek-Sadowska is a scholarly article available to read on EtoBox.

What is Perturb and Simplify: Multi-level Boolean Network Optimizer about?

In this paper, we discuss the problem of optimizing a multi-level logic combinational Boolean network. Our techniques apply a sequence of local perturbations and modifications of the network which are guided by the automatic test pattern generation ATPG based reasoning. In particular, we propose several new ways in which one or more redundant gates or wires can be added to a network. We show how to identify gates which are good candidates for local functionality change. Furthermore, we discuss the problem of adding and removing two wires, none of which alone is redundant, but when jointly added/removed they do not affect functionality of the network. We also address the problem of efficient redundancy computation which allows to eliminate many unnecessary redundancy tests. We have performed experiments on MCNC benchmarks and compared the results to those of misII and RAMBO[6]. Experimental results are very encouraging.

Author

Shih-Chieh Chang and Malgorzata Marek-Sadowska

Published

1970

Language

EN