Behavior tables are a design formalization intended to make a
derivational style of hardware design more efficient by
illuminating transformation opportunities. Previously we
developed a transformational algebra for direct equivalence of tables
rather than some intermediate representation.
A design tool is illustrated for system factorization; its core
implements the fore-mentioned table manipulations.
