Donald Bren School of Information and Computer Sciences

BIF is a new intermediate format for behavioral synthesis systems, based on annotated state tables. It is unique in supporting user control of the synthesis process by allowing specification of partial design structures, user-bindings and user modification of compiled designs. It captures synchronous and asynchronous behavior, permits hierarchy and concurrency, and serves as a good interface to the user by linking behavior and structure at each level of abstraction in the behavioral synthesis process. BIF's simple and uniform syntax allows it to be used as an intermediate exchange format for various behavioral synthesis tools.