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
fDate :
30 May-2 Jun 1994
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;
Conference_Titel :
Circuits and Systems, 1994. ISCAS '94., 1994 IEEE International Symposium on
Conference_Location :
London
Print_ISBN :
0-7803-1915-X
DOI :
10.1109/ISCAS.1994.408879