¿Es una buena idea especializarse (MS / PhD) en las áreas de prueba VLSI, verificación y verificación formal ahora? ¿Cuál es el alcance de la investigación y publicación en estas áreas?

Estas todavía son áreas razonablemente buenas. La verificación (incluida la formal) es la más accesible si puede pensar matemáticamente y se siente cómodo con la programación, y existe una demanda significativa en la industria.

Me vienen a la mente CMU, Michigan, Berkeley, UT Austin, Stanford, Princeton, Toronto, UCSB y UCI.

Es posible que desee incluir el alcance en el lado EE para incluir la validación (incluida la validación posterior al silicio), que combina técnicas de verificación y prueba; este es un campo muy importante para Intel y las empresas relacionadas. En el lado de CS, también considere la verificación de software (co).

La verificación consiste en diseñar estrategias para encontrar y prever errores en un diseño de hardware.

La verificación formal y la verificación funcional forman ramas significativas de verificación. Cada uno tiene una filosofía completamente diferente el uno del otro.

La verificación formal se relaciona con el comportamiento del nivel de señal y la relación del hardware. Requiere una buena comprensión de la IP / protocolo y el lenguaje formal: SV Assertions, PSL.

La verificación funcional se ocupa de la funcionalidad del hardware consigo mismo y del hardware circundante. Analiza las señales como un conjunto colectivo y nos ayuda a comprender el comportamiento del hardware para el análisis.

Como puede ver, ambos métodos se basan en estrategias. Hay muchas formas en la verificación formal, donde se puede definir una relación entre dos señales. Pero una buena relación será la que demore menos tiempo en ejecutarse. En la verificación funcional, es importante encontrar muchos conjuntos colectivos de señales (casos de prueba) que pueden causar errores potenciales. Todo esto requiere buenas estrategias. Se pueden diseñar buenas estrategias con una buena comprensión del diseño y buenas habilidades de programación.

Los otros aspectos que deben tenerse en cuenta serán: el dominio, la tecnología y el EDA. Elija el dominio de su interés. Las estrategias incorporadas al DDR – chip de memoria serán extremadamente diferentes a las de los chips de comunicación. En segundo lugar, tenga en cuenta la posible dirección de las implementaciones de tecnología (24 nm, 14 nm, etc.) hacia el dominio. Un cambio en la tecnología generará muchos problemas que pueden no haber surgido anteriormente. Una reflexión extrema después del papel puede / arrojará luz sobre los efectos del escalado para el hardware específico. En tercer lugar, el EDA, la interacción de las herramientas con la del HDL, tanto en la simulación como en el nivel de generación de informes, juega un papel importante. Siempre existe la necesidad de un EDA mejor y más rápido.

En la actualidad, estamos al borde de una revolución tecnológica: la era de IoT. Esta era se publica para ver una gran cantidad de hardware con un chip para comunicarse. Esto significa que los chips serán más pequeños y de baja potencia. Lo que significa que necesitamos formas mejores, más rápidas y más baratas de verificar el hardware para que pueda ser la ventana del mercado a tiempo.

Por lo tanto, para resumir, hay muchas posibilidades de verificación. Nunca hay escasez de posibles oportunistas para una buena publicación de investigación que pueda hacer que la búsqueda de errores sea fácil de predecir y más barata de implementar.

¡Mi respuesta sería un sí! La verificación se hace cada día más difícil a medida que más y más características se están abriendo camino en el hardware. Con IoT en camino, hay mucho caos que se espera. La seguridad es una gran preocupación. Necesitamos hardware más eficiente y confiable para la IA. Todas estas cosas no pueden sobrevivir sin metodologías de verificación innovadoras. El doctorado en verificación formal está ganando terreno, ya que es visto como la única metodología (hasta ahora …) que puede garantizar la seguridad y la fiabilidad.

La maestría en VLSI (prueba, verificación y verificación formal) generalmente se ocupa de cursos y proyectos. Podría haber pocas oportunidades de investigación para un doctorado en estas áreas.

La investigación en las universidades parece estar más centrada en cosas como la física del dispositivo, nuevos materiales, diseño de señales analógicas y mixtas, diseño físico, EDA, etc. Los temas que menciona (diseño frontal y verificación) son más interesantes en el semiconductor industria: fabricantes de chips (fab y fabless) y compañías EDA, en lugar de la academia.

Sí señor, es bueno tener un doctorado en esos dominios VLSI PHD INVESTIGACIÓN 2015-2016 VLSI PHD PROYECTO GUÍA CHENNAI visite estas páginas que le serán útiles

MS es buena idea en cualquier campo.

El doctorado es una pérdida de tiempo.