Search
Now showing items 1-1 of 1
Logic and transistor circuit verification using regression testing and hierarchical recursive learning
(Texas A&M University, 1996)
We describe a new approach for formal verification of combinational logic circuits, and their switch-level transistor implementation. Our approach CODibines regression testing, hierarchical recursive learning, and test ...