Intelligent Modeling and Verification (Editorial)

published_or_final_versio

Intelligent Modeling and Verification

System modeling tends to have many complex features, and uncertainties often lead to numerous complications and influence many important aspects related to its applications. Intelligent modeling merges mathematical and computer based approaches, and it utilizes pioneering new scientific methods and cutting-edge technologies

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches

This work presents an efficient solution using computer algebra system to perform linear temporal properties verification for synchronous digital systems. The method is essentially based on both Groebner bases approaches and symbolic simulation. A mechanism for constructing canonical polynomial set based symbolic representations for both circuit descriptions and assertions is studied. We then present a complete checking algorithm framework based on these algebraic representations by using Groebner bases. The computational experience result in this work shows that the algebraic approach is a quite competitive checking method and will be a useful supplement to the existent verification methods based on simulation

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches

This work presents an efficient solution using computer algebra system to perform linear temporal properties verification for synchronous digital systems. The method is essentially based on both Groebner bases approaches and symbolic simulation. A mechanism for constructing canonical polynomial set based symbolic representations for both circuit descriptions and assertions is studied. We then present a complete checking algorithm framework based on these algebraic representations by using Groebner bases. The computational experience result in this work shows that the algebraic approach is a quite competitive checking method and will be a useful supplement to the existent verification methods based on simulation