Now showing items 1-1 of 1

    • Logic verification using recursive learning, ATPG and transformations 

      Paul, Debjyoti (Texas A&M University, 1996)
      We describe a new approach for formal verification of combinational logic circuits using Recursive learning, ATPG and Transformations. A logic verification tool, VeriLAT, was implemented based on this approach. Experimental ...