Local Transformations via Cube Operations

Wislan is a language for describing computer hardware at the gate and functional levels of abstraction. After converting a WISLAN description to a gate table data structure, users interactively apply local transformations to that network to transform the gate network to a technology, meet technology limits, and optimize the network. A number of extensions to WISLAN and new, less-local transforms are reported. The transforms are made efficient via operations on array representations of switching functions. Conversion between gate table and array data structures is also efficient.