A Tactical Framework for Hardware Design

This work explores an algebraic approach to digital design. A collection of transformations has been implemented to derive circuits, but “hardware compilation” is not a primary goal. Paths to physical implementation are needed to explore the approach at practical levels of engineering. The potential benefits are more descriptive power and a unified foundation for design automation. However, these prospects mean little when the algebra is done manually. Hence, a basic, automated algebra is prerequisite to our experimentation with design methods.