Koushik Sarker

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Multimodal Biometrics

Asynchronous Circuits

Building Blocks

Intelligent Systems

Top Venues

IET Comput. Digit. Tech.

Publications

Sudarshan K. Srinivasan, Y. Cai, Koushik Sarker
Refinement-based verification of elastic pipelined systems. IET Comput. Digit. Tech. 6 (2) (2012)
Sudarshan K. Srinivasan, Koushik Sarker, Rajendra S. Katti
Token-Aware Completion Functions for Elastic Processor Verification. J. Electr. Comput. Eng. 2009 (2009)
Sudarshan K. Srinivasan, Koushik Sarker, Rajendra S. Katti
Verification of Synchronous Elastic Processors. IEEE Embed. Syst. Lett. 1 (1) (2009)