Logo du site
  • English
  • Français
  • Se connecter
Logo du site
  • English
  • Français
  • Se connecter
  1. Accueil
  2. Université de Neuchâtel
  3. Publications
  4. High-level modeling using extended timing diagrams - A formalism for the behavioral specification of digital hardware
 
  • Details
Options
Vignette d'image

High-level modeling using extended timing diagrams - A formalism for the behavioral specification of digital hardware

Auteur(s)
Moeschler, Philippe
Editeur(s)
Amann, Hans-Peter
Pellandini, Fausto
Date de parution
1993-09-20
In
IEEE Proceedings of the European Design Automation Conference (EURO-DAC), with EURO-VHDL '93, Institute of Electrical and Electronics Engineers (IEEE), 1993///494-499
Résumé
The principles of high level modeling of digital hardware circuits using the extended timing diagrams (ETD) formalism, which adds conditions, events, action expressions, and particular constraints to traditional timing diagrams, are described. Hierarchy and concurrency are also integrated so that a full top-down design becomes possible, enhancing at the same time the readability. While, for simulation purposes, the implementation of the formalism generates behavioral VHDL (VHSIC Hardware Description Language) models, a dedicated high-level translator generates VHDL code for synthesis. Both the ETD formalism and its implementation are part of MODES, a more complex modeling expert system including complementary editors.
URI
https://libra.unine.ch/handle/123456789/18157
DOI
10.1109/EURDAC.1993.410682
Autre version
http://dx.doi.org/10.1109/EURDAC.1993.410682
Type de publication
Resource Types::text::journal::journal article
Dossier(s) à télécharger
 main article: Moeschler_Philippe_-_High-Level_Modeling_using_20070126.pdf (255.42 KB)
google-scholar
Présentation du portailGuide d'utilisationStratégie Open AccessDirective Open Access La recherche à l'UniNE Open Access ORCID

Adresse:
UniNE, Service information scientifique & bibliothèques
Rue Emile-Argand 11
2000 Neuchâtel

Construit avec Logiciel DSpace-CRIS Maintenu et optimiser par 4Sciences

  • Paramètres des témoins de connexion
  • Politique de protection de la vie privée
  • Licence de l'utilisateur final