We describe a system design methodology, well-suitedfor telecom network applications. This methodology is being developed into a compiler called Matisse. The entry point for this methodology is a system specijication model that is first compiled into an abstract machine. The abstract machine is implementation-independent, which permits the exploration of diflerent embedded hardwarehoftware realizations, The proposed methodology and tools bridge the gap between system specification and synthesis tools commercially available. This yields several advantages over the design methodology currently used in industry.

No abstract