Donald Bren School of Information and Computer Sciences

This report describes a presentation on the design methodology and the user's view of the SpecSyn system design framework. Given an abstract specification of a system, we present specification capture and the subsequent refinements that will result in the synthesizable descriptions. The advantages of the underlying methodology compared to current approaches are highlighted.