Sequential Multi-Valued Network Simplification using Redundancy Removal.

Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full VLSID paper archive.