Specman

Specman es una herramienta EDA que proporciona verificación funcional automatizada avanzada de diseños de hardware. Ofrece un entorno para trabajar con, compilar y depurar entornos de banco de pruebas escritos en el lenguaje de verificación de hardware (Hardware Verification Language ). Specman también ofrece generación automatizada de bancos de pruebas para aumentar la productividad en la verificación de bloques, chips y sistemas.

La herramienta Specman no incluye un simulador HDL (para lenguajes de diseño como VHDL o Verilog ). Para simular un banco de pruebas electrónico con un diseño escrito en VHDL/Verilog, Specman debe ejecutarse junto con una herramienta de simulación HDL independiente. Specman es una función del nuevo simulador Xcelium de Cadence, cuya mayor integración con el producto ofrece un rendimiento de ejecución más rápido y capacidades de depuración no disponibles en otros simuladores HDL. En principio, Specman puede realizar la co-simulación con cualquier simulador HDL compatible con la interfaz PLI o VHPI estándar, como VCS de Synopsys o Questa de Mentor.

Specman fue desarrollado originalmente en Verisity , una empresa con sede en Israel, que fue adquirida por Cadence el 7 de abril de 2005.

Ahora forma parte del conjunto de herramientas de verificación funcional de Cadence.