Rajdeep Mukherjee

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)

Rajdeep Mukherjee and others (2016)

Hardware Verification Using Software Analyzers

Rajdeep Mukherjee and others (2015) · IEEE Computer Society Annual Symposium on VLSI