The increasing complexity of data-processing systems forced the design methodologies to move to a higher abstraction level (Shin, Gerstlauer, Dömer & Gajski, 2008) than the traditional register-transfer level (RTL). In the 2000s the so-called electronic system level (ESL) paradigm was evolved including the system level description languages, such as SystemC, SystemVerilog and the high-level synthesis (HLS) tools, such as SystemCrafter and Catapult-C, which are able to transform an algorithmic model into a gate level description (Casseau & Le Gal, 2012; Kim & Liu, 1995). However, at the design process of the instruction set processors the HLS method cannot be used efficiently because the main structure of the microprocessors does not fits well with the data-processing model of the digital signal processing systems, which HLS is optimized for. Presently, the architecture description languages (ADLs) are the high-level tools of instruction set processor design. These languages can describe the functionality of the system on the behavioral level but, as opposed to the languages used in the HLS method, they can describe the structure of the system as well in the same model. Even in case of ADLs designers usually have to deal with significant restrictions in terms of microarchitecture and they are not able to model application-specific functional units with dedicated functionality. In this article we present a novel approach of register-transfer level hardware modeling based on a new hardware description language called Algorithmic Microarchitecture Description Language (AMDL), which combines the advantages of HLS-based and ADL-based design approaches. It provides an algorithmic-style design entry and in the same time it makes possible to manage the exact register-transfer level structure of the designed system. The article is organized as follows. Section 2 gives a brief overview of concept of high-level synthesis and architecture description languages and presents the HDL representations of the register-transfer level models, which play a considerable role in the hardware synthesis methodologies. Section 3 gives a detailed presentation of a novel hardware modeling language including its scope and objective, language constructs, model structure and design examples. Finally, Section 4 presents a case study consisting of two applicationspecific instruction set processors, which were designed with the proposed design method.
[1]
Sandro Rigo,et al.
ArchC: a systemC-based architecture description language
,
2004
.
[2]
Rodolfo Azevedo,et al.
Platform designer: An approach for modeling multiprocessor platforms based on SystemC
,
2005,
Des. Autom. Embed. Syst..
[3]
Bertrand Le Gal,et al.
Design of multi-mode application-specific cores based on high-level synthesis
,
2012,
Integr..
[4]
John Hawkins,et al.
Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications
,
2003,
36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.
[5]
Jonathan Rose,et al.
Exploration and Customization of FPGA-Based Soft Processors
,
2007,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[6]
Taewhan Kim,et al.
A new approach to the multiport memory allocation problem in data path synthesis
,
1995,
Integr..
[7]
Hiren D. Patel,et al.
synASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs
,
2012,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[8]
Jason Helge Anderson,et al.
LegUp: high-level synthesis for FPGA-based processor/accelerator systems
,
2011,
FPGA '11.
[9]
Rainer Leupers,et al.
RTL processor synthesis for architecture exploration and implementation
,
2004,
Proceedings Design, Automation and Test in Europe Conference and Exhibition.
[10]
Masaharu Imai,et al.
A hardware/software partitioning algorithm for pipelined instruction set processor
,
1995,
Proceedings of EURO-DAC. European Design Automation Conference.
[11]
Nikil D. Dutt,et al.
EXPRESSION: a language for architecture exploration through compiler/simulator retargetability
,
1999,
Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
[12]
Nikil D. Dutt,et al.
SPARK: a high-level synthesis framework for applying parallelizing compiler transformations
,
2003,
16th International Conference on VLSI Design, 2003. Proceedings..
[13]
Yuanbin Guo,et al.
Rapid prototyping and VLSI exploration for 3g/4G MIMO wireless systems using integrated catapult-c methodology
,
2006,
IEEE Wireless Communications and Networking Conference, 2006. WCNC 2006..