Personnaliser

OK

Appareils photo, caméras, drones et bien d'autres ! 30€ et 100€ offerts* dès 299€ et 999€ d'achat sur l'univers Photo et caméras avec les codes : PHOTO30 et PHOTO100

En profiter

High-Level System Modeling -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :

Nos autres offres

  • 120,68 €

    Produit Neuf

    Ou 30,17 € /mois

    • Livraison : 3,99 €
    • Livré entre le 31 juillet et le 6 août
    Voir les modes de livraison
    4,8/5 sur + de 1 000 ventes
    Voir le détail de l'annonce 
Publicité
 
Vous avez choisi le retrait chez le vendeur à
  • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
  • Récupérez le produit directement chez le vendeur
  • Rakuten vous rembourse en cas de problème

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

En savoir plus

Retour

Horaires

      Note :


      Avis sur High - Level System Modeling de Collectif  - Livre Technologie

      Note : 0 0 avis sur High - Level System Modeling de Collectif  - Livre Technologie

      Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


      Présentation High - Level System Modeling de Collectif

       - Livre Technologie

      Livre Technologie - Collectif - 01/09/1995 - Langue : Anglais

      . .

    • Auteur(s) : Collectif
    • Editeur : Springer
    • Langue : Anglais
    • Parution : 01/09/1995
    • Nombre de pages : 184
    • Expédition : 444
    • Dimensions : 23.5 x 15.5 x 1.6
    • ISBN : 9780792396321



    • Sommaire:
      1. Specification-Modeling Methodologies for Reactive-System Design.- 1.1. Introduction.- 1.2. Characteristics of Reactive Systems.- 1.3. Specification-Modeling Methodology Requirements.- 1.4. Specification-Modeling Methodology for Reactive Systems.- 1.5. A Survey of Methodologies.- 1.6. Summary.- 1.7. Recommendations.- 1.8. Conclusions.- 2. Survey on Languages for Object Oriented Hardware Design Methodologies.- 2.1. Introduction.- 2.2. Introduction to Object-Oriented Design.- 2.3. Possible Approaches.- 3. VSPEC: A Declarative Requirements Specification Language for VHDL.- 3.1. Introduction.- 3.2. Important VHDL Constructs.- 3.3. The VSPEC Clauses.- 3.4. Formal Representation of VSPEC.- 3.5. Extended Example: 16-bit Move Machine.- 3.6. Related Work.- 3.7. Current Status and Future Directions.- 4. Communication Protocols Implemented in Hardware: VHDL Generation from Estelle.- 4.1. Introduction.- 4.2. VHDL versus Estelle Semantics.- 4.3. Estelle to VHDL Translation Model.- 4.4. Conclusions.- 5. An Algorithm for the Translation of SDL into Synthesizable VHDL.- 5.1. Introduction.- 5.2. The SDL Subset.- 5.3. Synthesis Constraints.- 5.4. The Mapping Algorithm.- 5.5. Structure.- 5.6. Data Definition.- 5.7. Process Communication.- 5.8. Process Behaviour.- 5.9. Variable Declaration.- 5.10. Example of Implementation.- 5.11. Conclusion.- 6. From LOTOS to VHDL.- 6.1. Introduction.- 6.2. Languages.- 6.3. Translation.- 6.4. Conclusion.- 6.5. Appendix: A Complete Example.- 7. Using an X-Machine to Model a Video Cassette Recorder.- 7.1. Introduction.- 7.2. The Basic Model.- 7.3. Extending the Machine to handle Fast-forward and Rewind Operations.- 7.4. Programming the VCR.- 7.5. Combining the Parts of the Model.- 7.6. Adding a Model of the Video Tape.- 7.7. Animation and Execution of theSpecification.- 7.8. Verification Issues.- 7.9. Evaluation and Conclusion.

      Détails de conformité du produit

      Consulter les détails de conformité de ce produit (

      Personne responsable dans l'UE

      )
      Le choixNeuf et occasion
      Minimum5% remboursés
      Le service clientsÀ votre écoute
      LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
      visavisa
      mastercardmastercard
      klarnaklarna
      paypalpaypal
      floafloa
      americanexpressamericanexpress
      Rakuten Logo
      • Rakuten Kobo
      • Rakuten TV
      • Rakuten Viber
      • Rakuten Viki
      • Plus de services
      • À propos de Rakuten
      Rakuten.com