Efficient Representation of Algebraic Expressions

摘要

In behavioral verification and synthesis, a large number of algebraic expressions can be generated. Their representation needs to be compact, efficient, and precise. We designed a basic algebraic normal form of multiple algebraic expressions. It supports non-redundant storage, and expression transformation and expression efficiently.