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.