On the Expressive Power of OKFDDs Bernd BeckerRolf DrechslerMichael Theobald OriginalPaper Pages: 5 - 21
Joint Minimization of Code and Data for Synchronous Dataflow Programs Praveen K. MurthyShuvra S. BhattacharyyaEdward A. Lee OriginalPaper Pages: 41 - 70
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor Bishop C. BrockWarren A. Hunt Jr. OriginalPaper Pages: 71 - 104