Vinod Viswanath
103
Abonné
Personal Information
Entreprise/Lieu de travail
San Francisco Bay Area United States
Profession
Director of Research and Development at Real Intent
Secteur d’activité
Electronics / Computer Hardware
À propos
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)
- Présentations
- Documents
- Infographies