Inventor

RAMANANDRAY BARINJATO

DE2 patents

Patents

2 patents

US7882473B2Feb 1, 2011

Sequential equivalence checking for asynchronous verification

IBM28 citations91

US9104364B2Aug 11, 2015

Generation and distribution of steered time interval pulse to a plurality of hardware components of the computing system

IBM0 citations38