CAD Support for System-level Synthesis