• DocumentCode
    292910
  • Title

    High-level specification of behavioural hardware models with MODES

  • Author

    Amann, Hans Peter ; Moeschler, Philippe ; Pellandini, Fausto ; Vachoux, Alain ; Munk, Charles ; Mlynek, Daniel

  • Author_Institution
    Inst. for Microtechnol., Neuchatel Univ., Switzerland
  • Volume
    1
  • fYear
    1994
  • fDate
    30 May-2 Jun 1994
  • Firstpage
    387
  • Abstract
    The ever increasing complexity of digital hardware, forces the hardware designer to switch from a low-level capture-and-simulation process to a high-level design-and-synthesis process. In order to assist the designer during the specification phase, we designed MODES, a new high-level specification environment. MODES integrates graphical specification capture in various behavioural representations, a facility to merge various specification formats, a high-level simulation tool and, finally, code generation for simulation and synthesis, e.g. in VHDL-1076, IEEE´s hardware description language. Furthermore, some verification and consistency-check mechanisms have been integrated
  • Keywords
    circuit CAD; circuit analysis computing; high level synthesis; MODES; VHDL-1076; behavioural hardware models; code generation; consistency-check mechanisms; graphical specification capture; high-level simulation tool; high-level specification environment; specification formats; verification; Automatic logic units; Code standards; Design optimization; Hardware design languages; Knowledge based systems; Logic design; Process design; Switches; System-level design; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems, 1994. ISCAS '94., 1994 IEEE International Symposium on
  • Conference_Location
    London
  • Print_ISBN
    0-7803-1915-X
  • Type

    conf

  • DOI
    10.1109/ISCAS.1994.408879
  • Filename
    408879