Implication Algorithms for Switch Level (1982)

by M Lightner, G Hachtel
Venue:Functional Macromodeling, Implementation, and Testing." 19th Design Automation Conf., IEEE