Vinod Viswanath

San Francisco Bay Area United States

Director of Research and Development at Real Intent

Electronics / Computer Hardware

Formal Verification Methods, CPU and SoC Design Verification, Low Power Design, High Level Design Modeling and Analysis, Computer Architecture and Systems, Formal Hardware Specification, Rewriting Systems, Automatic Static Analysis, Model Checking, Application of Formal Methods in diverse areas (Hardware, Software, Data Mining, Biology)