The design cycleGoalHomeworkPrerequisitesFurther readingsDesigningThe design processThe basic Design CycleRequirements elicitationSlide 10Specification formalizationSlide 12SpecificationSlide 14Slide 15Specification refinementSlide 17Slide 18Slide 19ProblemsSlide 21Slide 22SolutionPowerPoint PresentationSpecification ValidationApproachesThe role of validationSlide 28SynthesisImplementationSlide 31Slide 32Slide 33Synthesis goalsSynthesis: different view-pointsThe design spaceSome significant sub-spacesSlide 38Trade-OffDetailed costs analysisSynthesis as a search in the space of potential solutionsSlide 42Slide 43Slide 44Slide 45Slide 46Slide 47Example of a Trade-Off curvePractical solutionEffects of the approximationsSlide 51Slide 52Slide 53Slide 54Slide 55Slide 56NoteExample of hierarchical decompositionSlide 59Slide 60Slide 61Link with the hierarchySlide 63Design Rule CheckingDesign rule checkingDesign rule checking (cont’d)Slide 67Slide 68Slide 69VerificationSlide 71Slide 72ConsiderationCaveatSlide 75Implementation ValidationSlide 77Slide 78Slide 79The design cycleThe design cycleThe design cycleThe design cyclePaolo PRINETTOPolitecnico di Torino (Italy)University of Illinois at Chicago, IL (USA)[email protected] [email protected] 2.12 2.1 Goal-This lecture introduces the various phases that compose the typical design cycle of a digital system, form the first product idea to the actual final implementation.3 2.1 Homework -No particular homework is foreseen4 2.1 Prerequisites -Lecture # 1.15 2.1 Further readings -No particular suggestion6 2.1 The act of creating a The act of creating a new artificial object, new artificial object, previously not previously not existing in the real existing in the real world, starting from world, starting from abstract concepts abstract concepts derived form the derived form the knowledge of knowledge of existing things.existing things.Designing YoshikawaYoshikawaIFIP, 1980IFIP, 19807 2.1 The set of The set of operations operations leading to the leading to the complete design complete design of a product.of a product. The design process8 2.1 The basic Design CycleDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirements9 2.1 Idea of aIdea of anew productnew productand/orand/oruser’s user’s needsneedsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsRequirements elicitationRequirements elicitation10 2.1 Idea of aIdea of anew productnew productand/orand/oruser’s user’s needsneedsRequirementsRequirementsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsRequirements elicitationRequirements elicitation11 2.1 RequirementsRequirementsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsSpecification formalizationSpecification formalization12 2.1 SpecificationSpecificationRequirementsRequirementsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsSpecification formalizationSpecification formalization13 2.1 Document stating Document stating the set of the set of requirements a requirements a product must product must satisfy.satisfy.SpecificationISO840214 2.1 SpecificationSpecificationRequirementsRequirementsExperiences Experiences from previous from previous productsproductsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsDesignDesignrulesrulesDesignDesignrulesrulesSpecificationSpecification=?=?=?=?=?=?ImplementationImplementation=?=?RequirementsRequirementsSpecification formalizationSpecification formalization15 2.1 ProductProductSpecificationSpecificationProcessProcessSpecificationSpecificationMarketingMarketingSpecificationSpecificationSSppeeccififiiccaatitioonn16 2.1 The specification preparation phase can be seen as a sort of continuous process.Details are added until a final version is got.Specification refinementRequirementsRequirements17 2.1 Specification refinementspecspec11RequirementsRequirementsThe specification preparation phase can be seen as a sort of continuous process.Details are added until a final version is got.18 2.1 Specification refinementspecspec11specspec22 RequirementsRequirementsThe specification preparation phase can be seen as a sort of continuous