Verification of Synchronous Elastic Processors. - Sudarshan K. Srinivasan; Koushik Sarker; Rajendra S. Katti (IEEE Embed. Syst. Lett., 2009)

Token-Aware Completion Functions for Elastic Processor Verification. - Sudarshan K. Srinivasan; Koushik Sarker; Rajendra S. Katti (J. Electr. Comput. Eng., 2009)

Refinement-based verification of elastic pipelined systems. - Sudarshan K. Srinivasan; Y. Cai; Koushik Sarker (IET Comput. Digit. Tech., 2012)