Usted buscó: checkoff (Español - Inglés)

la familia checkoff ofrece niveles de
the checkoff family offers genuine "right

la nueva interfaz lambda la verificación de proyectos herramientas checkoff herramienta de este tipo,
equivalence checking has mam applica­ tions, such as verifying that pre­ and post­

la familia checkoff de herramientas utiliza métodos formales para ofrecer niveles de verificación de proyectos de hardware digital que sería imposible alcanzar utilizando las técnicas tradicionales basadas en la simulación
using formal methods, the checkoff family of tools provides levels of verification of digital hardware designs which would be impossible using traditional simulation-based techniques

la national pork board tiene responsabilidad sobre proyectos de investigación, promoción e información del consumidor costeados por el pork checkoff (fondo porcino) y de comunicarse con productores porcinos y con el público.
the national pork board has responsibility for checkoff-funded research, promotion and consumer information projects and for communicating with pork producers and the public.

el juego de herramientas checkoff acepta verificación auténticamente "correctos a la proyectos en vhdl, edif (formato de primera", en lugar de la idea de que "hasta intercambio de proyectos electrónicos) o ahora va bien", que es lo mejor que se puede
(obdds). obdd algorithms can 'reason' first time" levels of verification, rather than about designs and handle large designs more the "'so tar so good" approach, which is tin- easily than other technologies.