The GF-AMG system consists of (i) GF-ACG Code Generator, (ii) GF-ACG
Code Verifier, and (iii) GF-ACG/HDL Converter. GF-ACG Code
Generator first generates GF-ACG codes according to the design specification
given by designers. GF-ACG Code Verifier verifies the generated GF-ACG
codes in a formal method, which consists of Groebner Basis Generation
and Porinomial Reduction techniques. (See the reference for more details.)
GF-ACG/HDL Converter finally converts the verified GF-ACG codes into
the equivalent HDL codes. This can be done simply by the one-to-one
mapping. As a result, GF-AMG obtains the HDL codes verified completely
at the algorithm level. After every successful verification, the
generated HDL codes are registered into the arithmetic algorithm library.
GF-AMG can retrieve them when the same specification is
requested.