DocumentCode
2410085
Title
System level specification in Lava
Author
Singh, Satnam
Author_Institution
Xilinx Inc., San Jose, CA, USA
fYear
2003
fDate
2003
Firstpage
370
Lastpage
375
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe Conference and Exhibition, 2003
ISSN
1530-1591
Print_ISBN
0-7695-1870-2
Type
conf
DOI
10.1109/DATE.2003.1253636
Filename
1253636
Link To Document