Digital circuits testing and verification, digital circuit?simulation, test pattern generation, design for testability, built-in-self-tests, diagnosis. Algorithms for design verification. ? Compiled level logic simulation. Tools for?HW verification and validation.
