SISTEMA Y PROCEDIMIENTO PARA LA COMPROBACION A BASE DE REGLAS DE CONCEPCION LOCAL.
UN SISTEMA PARA LA VERIFICACION BASADA EN UN MODELO DE REGLAS DE DISEÑO LOCALES COMPRENDE UNA UNIDAD DE PROCESAMIENTO,
UNA BASE DE DATOS DE VERIFICACION EN LA QUE ESTA GRABADO UN GRAFICO DE REFERENCIA DE UNA CELDA QUE REPRESENTA UN DISEÑO DE UN CIRCUITO INTEGRADO COMO UNA COLECCION JERARQUICA DE CELDAS, UNA MEMORIA CON FUNCION DE VERIFICACION EN LA QUE ESTA GRABADA UNA FUNCION DE VERIFICACION, Y UNA MEMORIA DE CAPAS DE TRABAJO COMPATIBLE Y OTRA INCOMPATIBLE. CADA CELDA PUEDE INCLUIR MODELOS DE FORMA Y REFERENCIAS PARA CELDAS DE NIVEL INFERIOR. LA UNIDAD DE PROCESAMIENTO PRIMERO VERIFICA CADA CELDA EN EL GRAFICO DE REFERENCIA EL CUAL NO HACE REFERENCIA A NINGUNA CELDA DE NIVEL INFERIOR, DESPUES DE LO CUAL LA UNIDAD DE PROCESAMIENTO VERIFICA CADA CELDA PARA LO QUE TODA LAS CELDAS REFERENCIADAS HAN SIDO VERIFICADAS PREVIAMENTE. DURANTE LA VERIFICACION DE UNA CELDA SELECCIONADA, LA UNIDAD DE PROCESAMIENTO DETERMINA SI LOS MODELOS EN LA CELDA SELECCIONADA INTERACTUAN CON OTROS MODELOS EN LA CELDA SELECCIONADA O CON OTRA CELDA DE NIVEL INFERIOR. LOS MODELOS INTERACTIVOS ESTAN REFERIDOS COMO "INCOMPATIBLES", Y LOS MODELOS NO INTERACTIVOS ESTAN REFERIDOS COMO "COMPATIBLES". LA UNIDAD DE PROCESAMIENTO HACE REFERENCIA AL RESULTADO DE LA VERIFICACION CALCULADO PREVIAMENTE CUANDO LOS MODELOS SON COMPATIBLES, Y APLICA UNA FUNCION DE VERIFICACION A LOS MODELOS QUE SON INCOMPATIBLES. UN METODO PARA LA VERIFICACION BASADA EN UN MODELO DE REGLAS DE DISEÑO LOCALES COMPRENDE LOS SIGUIENTES PASOS: SELECCIONAR UNA CELDA PARA SU VERIFICACION; SELECCIONAR UNA FUNCION DE VERIFICACION; DETERMINAR SI LOS MODELOS EN EL GRAFICO DE REFERENCIA DE LA CELDA SON INCOMPATIBLES CON UN MODELO EN LA CELDA SELECCIONADA; APLICAR LA FUNCION DE VERIFICACION SELECCIONADA A CADA MODELO INMERSO EN UNA INTERACCION INCOMPATIBLE; Y GENERAR UNA ANULACION EN EL CASO DE QUE EL RESULTADO DE UNA VERIFICACION CALCULADA PREVIAMENTE NO SEA VALIDO A CAUSA DE LA INCOMPATIBILIDAD ENTRE LOS MODELOS.
Tipo: Resumen de patente/invención.
Solicitante: CADENCE DESIGN SYSTEMS, INC.
Nacionalidad solicitante: Estados Unidos de América.
Dirección: M/S 5B2, 555 RIVER OAKS PARKWAY,SAN JOSE CALIFORNIA 95134.
Inventor/es: BAISUCK, ALLEN, FAIRBANK, RICHARD, L., GOWEN, WALTER, K., III, HENRICKSEN, JON, R., HOOVER, WILLIAM, W., III, HUCKABAY, JUDITH, A., ROGOYSKI, ERIC, SALECKER, ANTON, G.
Fecha de Publicación: .
Fecha Solicitud PCT: 28 de Abril de 1995.
Fecha Concesión Europea: 27 de Junio de 2001.
Clasificación Internacional de Patentes:
- G06F17/50
Países PCT: Alemania, España, Francia, Reino Unido, Italia, Oficina Europea de Patentes, Kenya, Malawi, Sudán, Uganda, Burkina Faso, Benin, República Centroafricana, Congo, Costa de Marfil, Camerún, Gabón, Guinea, Malí, Mauritania, Niger, Senegal, Chad, Togo, Organización Regional Africana de la Propiedad Industrial, Swazilandia, Organización Africana de la Propiedad Intelectual.
Patentes similares o relacionadas:
MÉTODO PARA LA OBTENCIÓN DE UN MODELO FÍSICO DE UN OBJETO TRIDIMENSIONAL A PARTIR DE SUPERFICIES DESARROLLABLES Y MODELO FÍSICO ASÍ OBTENIDO, del 2 de Abril de 2020, de UNIVERSIDAD NACIONAL DE COLOMBIA: La presente invención se relaciona con un método para obtener un modelo físico de un objeto tridimensional a partir de un modelo digital de […]
Reconstrucción ósea e implantes ortopédicos, del 12 de Junio de 2019, de Mahfouz, Mohamed Rashwan: Procedimiento de diseño de un implante ortopédico específico para el paciente, en el que el procedimiento comprende: comparar un modelo […]
Diseño de sobrante sin secciones, del 31 de Mayo de 2019, de Hexagon Manufacturing Intelligence Canada Limited: Un método para el diseño de un sobrante , en donde todo o parte del sobrante se diseña con un enfoque sin secciones, que comprende las etapas de: introducir […]
MÉTODO IMPLEMENTADO POR ORDENADOR PARA GENERAR UN MODELO NUMÉRICO DE REPRESENTACIÓN DE UN NÚCLEO MAGNÉTICO PARA UN ELEMENTO DE INDUCCIÓN MAGNÉTICA, del 23 de Mayo de 2019, de SP CONTROL TECHNOLOGIES, S.L: La presente invención es una invención implementada en ordenador que comprende un método para generar un modelo numérico de representación de un […]
Procedimiento de simulación del funcionamiento de un circuito electrónico y programa, del 22 de Mayo de 2019, de Sorbonne Université: Procedimiento de simulación del funcionamiento de un circuito electrónico implementado por ordenador, comprendiendo el circuito electrónico […]
Método, dispositivo, programa y soporte de registro del análisis de la causa de la retracción, del 8 de Mayo de 2019, de NIPPON STEEL & SUMITOMO METAL CORPORATION: Un método implementado por ordenador para analizar una causa de la retracción en un producto formado que es formado a presión a partir de una placa […]
Método de predicción de fractura, dispositivo de procesamiento de cálculo, programa y soporte de registro, del 8 de Mayo de 2019, de NIPPON STEEL & SUMITOMO METAL CORPORATION: Un método implementado por ordenador para predecir una fractura en una parte de objetivo de análisis en un proceso de formación, que comprende: un […]
Métodos de análisis de campos electromagnéticos para materiales conductores anisotrópicos, del 26 de Abril de 2019, de Subaru Corporation: Un método de análisis del campo electromagnético para un material conductor anisotrópico, en el que el método de análisis del campo electromagnético utiliza […]