|Title||High level synthesis of a co-processor for Gröbner basis computations|
|Author(s)|| Tanguy Risset, Yannick Saouter|
|Type||Technical Report, Misc|
|Abstract||Gröbner basis are a powerful tool with many applications in symbolic|
computation. In this article, we propose a linear systolic array which can be used as co-processor for efficient computation of Gröbner basis, especially dedicated for the domain of error-correcting codes. The design was made from a high level specification in the Alpha language, which provides many static analysis checks. A case study show how much time can be gain with such a co-processor.
|Keywords||Gröbner basis, error correcting codes, systolic architectures, high level synthesis|