| Título: | Semi-formal specifications and formal verification improving the digital design: some statistics |
| Autores: |
Torres,D. Cortéz,J. González,R. E. |
| Fecha: | 2009-04-01 |
| Publicador: | SCIELO |
| Fuente: |
 |
| Tipo: | journal article |
| Tema: |
Formal verification assertion based verification finite state machines semi-formal specification model checking tool |
| Descripción: | In this work, an improvement of the traditional digital design methodology is proposed. The major change is the use of a semi-formal specification for the code implementation, the use of a verification tool and the establishment of properties for the formal verification of Finite State Machines (FSM). From semi-formal specifications, assertions were written using Property Specification Language (PSL) for an alignment circuit. Finally, a set of properties for the verification of this module were established and proved using a model checking tool. Our statistics proved that the whole design process was improved and considerable design time was saved. |
| Idioma: | Inglés |
1 | 6 Fracturas maxilofaciales y factores asociados en derechohabientes del IMSS Campeche, México: Análisis retrospectivo 1994-1999 por Medina-Solis,Cario Eduardo,Córdova-González,José Luis,Casanova-Rosado,Alejandro José,Zazueta-Hernández,Maria Alejandra |
2 | 7 Factores de riesgo de mortalidad en el hijo de madre toxémica por Gómez-Gómez,Manuel,Danglot-Banck,Cecilia,García-de la Torre,Guadalupe Silvia,Antonio-Ocampo,Abdiel,Fajardo-Gutiérrez,Arturo,Sánchez-García,Maria Luisa,Ahumada-Ramírez,Elias |
3 Cerámicas mexicanas para cicatrización de piel por Piña-Barba,María Cristina,Tejeda-Cruz,Adriana,Regalado-Hernández,Miguel Ángel,Arenas-Reyes,María Isabel,Martín-Mandujano,Salvador,Montalvo,César | 8 I. De la enseñanza tutoral al aprendizaje a distancia por Cravioto,Alejandro |
4 Seguimiento de egresados de un diplomado en enseñanza de la Medicina por Ponce de León-Castañeda,Ma. Eugenia,Ruíz-Alcocer,Ma. del Carmen,Lozano-Sánchez,J. Rogelio | 9 II. La vocación científica: compromisos con el cambio permanente y la educación continua por Kretschmer,Roberto |
5 Primer estudio de teledermatología en México: Una nueva herramienta de salud pública por Lepe,Verónica,Moneada,Benjamín,Castanedo-Cázares,Juan Pablo,Martínez-Rodríguez,Alejandra,Mercado-Ceja,Sergio M,Gordillo-Moscoso,Antonio | 10 |