Resumen

Introducimos un enfoque que explota el poder del álgebra de anillos polinomiales para realizar verificación de afirmaciones SystemVerilog sobre sistemas de circuitos digitales. Este método se basa en la teoría de bases de Groebner y en la verificación de propiedades secuenciales. Definimos un subconjunto restringido de SVAs para que se pueda aplicar un mecanismo eficiente de modelado polinomial tanto para descripciones de circuitos como para afirmaciones. Presentamos un marco algorítmico basado en las representaciones algebraicas utilizando bases de Groebner para la verificación concurrente de SVAs. Estudios de caso muestran que el álgebra computacional puede proporcionar representaciones simbólicas canónicas tanto para afirmaciones como para diseños de circuitos y puede actuar como un motor de resolución novedoso desde el punto de vista de la computación simbólica.

• Materias:Modelos matemáticos Conjuntos difusos Ecuaciones integrales Fusión de características Algoritmo de optimización
• Subjects:Mathematical models Fuzzy sets Integral equations Feature fusion Optimization algorithm
• Palabras claves:Enfoque; álgebra de anillo polinomial; Verificación de aserciones SystemVerilog; Teoría de bases de Groebner; Verificación de propiedades secuenciales; álgebra computacional
• Keywords:Approach; Polynomial ring algebra; SystemVerilog assertion verification; Groebner bases theory; Sequential properties checking; Computer algebra