Courtesy RK Brayton (UCB) and A Kuehlmann (Cadence) 1 Logic Synthesis Exploiting Don’t Cares in Logic Minimization.
1 SPFDs - A new method for specifying flexibility Sets of Pairs of Functions to be Distinguished From the paper: “A new Method to Express Functional Permissibilities.
SPFDs - A new method for specifying flexibility
Computing with Finite Automata (part 2) 290N: The Unknown Component Problem Lecture 10.
