A new algebraic verification method for and-inverter graphs derives linear relations from local degree-ordered Gröbner bases and checks multiplier specifications with linear rewriting only.
Springer-Verlag New York (1997)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SC 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Extracting Linear Relations from Gr\"obner Bases for Formal Verification of And-Inverter Graphs
A new algebraic verification method for and-inverter graphs derives linear relations from local degree-ordered Gröbner bases and checks multiplier specifications with linear rewriting only.