Title :
Enhancements and Applications of a Versatile Software Tool for High-Level Specification of Single-Chip Systems
Author :
Manjikian, Naraig ; Mark, Cindy ; Sinnathamby, Mohanarajah ; Reed, James ; Jin, Huang
Author_Institution :
Dept. of Electr. & Comput. Eng., Queen´´s Univ.
Abstract :
This paper describes several enhancements and various applications of a versatile and extensible software tool called QUI2VER to support integration of custom components for research prototyping in programmable logic. From higher-level specifications of components and interconnections in an input file, QUI2VER generates an output VHDL file with a desired system configuration. The value of QUI 2VER stems from how abstract interfaces can be specified in support of component interconnection for system-level configuration. We have enhanced QUI2VER with multidimensional array-based and loop-based system specification capabilities. We have included enhanced support for symbolic constants, generic parameters, and arbitrary arithmetic expressions. We have also created a graphical tool to visualize component interface definitions and to support graphical system specification based on such interfaces. We demonstrate our enhancements by using QUI2VER to generate systems for single-chip implementation in programmable logic using our own intellectual property, including multidimensional interconnection networks, an extensible embedded processors and a sophisticated cache-coherent multiprocessor based on our own custom pipelined 32-bit processors, split-transaction bus components, and memory components
Keywords :
formal specification; hardware description languages; logic CAD; microprocessor chips; programmable logic devices; 32-bit processor; VHDL file; arbitrary arithmetic expression; graphical system; hardware description language; high-level specification; loop-based system specification; programmable logic; single-chip system; software tool; system-level configuration; Application software; Arithmetic; Intellectual property; Multidimensional systems; Multiprocessor interconnection networks; Programmable logic arrays; Programmable logic devices; Software prototyping; Software tools; Visualization; computer architecture; computer-aided design; digital systems; electronic circuits and VLSI; rapid prototyping; system-on-chip integration;
Conference_Titel :
Electrical and Computer Engineering, 2006. CCECE '06. Canadian Conference on
Conference_Location :
Ottawa, Ont.
Print_ISBN :
1-4244-0038-4
Electronic_ISBN :
1-4244-0038-4
DOI :
10.1109/CCECE.2006.277702