Test Generation for Non-separable RTL Controller-datapath Circuits using a Satisfiability based Approach.

Loganathan Lingappan, Srivaths Ravi, Niraj K. Jha

Browse the full ICCD paper archive.