AUTOMATIC GENERATION OF TRIGONOMETRIC HARDWARE WITH HLS TOOLS USING THE CUBEDC HARDWARE COMPILER/OPTIMIZER
Keywords:
High-level Synthesis, Electronic DA, E-CAD, hardware arithmetic, formal methods, RTL HDL coding.Abstract
The complexity of contemporary integrated circuits (ICs) creates a productivity and project duration challenge to respective industries. In order to handle this complexity FPGA/ASIC/SoC design projects must employ fully automatic and formal methods for the design of their custom blocks. These blocks are found in numerical applications such as trigonometric functions. This paper discusses fully automatic, abstract and formal design and developent methods for complex trigonometric blocks which are parts of ICs and they accelerate their host computing system. Such custom subroutines are rapidly specified and verified in fully-standard, high-level ANSI-C code. Thus, productivity is increased by orders of magnitude and first-time-right and provably-correct implementations are rapidly and formally generated. Our design methodology is evaluated with a number of basic trigonometric functions but that they prove the argument of increased development productivity and easy to use, in the experimental section of this paper.