Vinod Viswanath
103
Seguidores
Personal Information
Organización/Lugar de trabajo
San Francisco Bay Area United States
Ocupación
Director of Research and Development at Real Intent
Sector
Electronics / Computer Hardware
Acerca de
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)
- Presentaciones
- Documentos
- Infografías