Syllabus: Computer-aided design systems for computer systems