Μοντελοποίηση ενσωματωμένων συστημάτων

Abstract

Για να σχεδιαστεί ένα ενσωματωμένο σύστημα θα πρέπει να μοντελοποιηθεί, να περιγραφεί, και να επικυρωθεί η σωστή λειτουργία του. Η μοντελοποίηση μπορεί να επιτευχθεί σε διάφορα επίπεδα, αναλόγως της λεπτομέρειας και της διακριτικής ανάλυσης που θέλει ο σχεδιαστής. Επίσης, η μοντελοποίηση μπορεί να γίνει με συνδυασμό πολλών γλωσσών περιγραφής σε μια ιεραρχική σχεδίαση, για την εκμετάλλευση των πλεονεκτημάτων κάθε μιας από αυτές. Έτσι λοιπόν, σε αυτό το κεφάλαιο θα παρουσιαστούν οι πιο δημοφιλείς τρόποι μοντελοποίησης συστημάτων, δηλαδή οι: VHDL, Verilog, System C, System Verilog και UML. Για κάθε γλώσσα περιγραφής θα αναλυθεί το λεξιλόγιο, το συντακτικό και η σωστή και η λανθασμένη χρήση αυτών. Επίσης, θα υπάρχουν παραδείγματα κατανόησης, όπως και ασκήσεις εμβάθυνσης. Ακόμη, θα αναλυθεί η μοντελοποίηση με μηχανές πεπερασμένων καταστάσεων, διαγραμμάτων χρονισμού και κυμματομορφές προσομοίωσης. Τέλος, θα δοθεί έμφαση στην επικαιροποίησης της σχεδίασης υλικού μέσω διανυσμάτων δοκιμής.