Efficient Microprocessor Verification using Antecedent Conditioned Slicing.

Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraham

Browse the full VLSID paper archive.