Title :
System level specification in Lava
Author_Institution :
Xilinx Inc., San Jose, CA, USA
Abstract :
The Lava system provides novel techniques for representing system level specifications which are supported by a design flow that maps Lava descriptions onto system-on-chip platforms implemented on very large FPGAs. The key contribution of this paper is a type class based approach for specifying bus-based system configurations. This provides a very flexible and parameterised flow for combining predesigned IP blocks into a complete FPGA-based system.
Keywords :
field programmable gate arrays; formal specification; hardware description languages; high level synthesis; industrial property; logic design; system buses; system-on-chip; FPGA-based systems; Lava system; SoC platforms; bus-based system configuration specification; design flow system descriptions; predesigned IP blocks; system level specification; system-on-chip; type class based approach; Field programmable gate arrays; LAN interconnection; Logic; MATLAB; Mathematical model; Power generation; Power system interconnection; Signal design; Space exploration; System-on-a-chip;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2003
Print_ISBN :
0-7695-1870-2
DOI :
10.1109/DATE.2003.1253636
