ill-formed initializer issue about vericert HOT 3 OPEN

Hi, the first issue you mention is actually a parsing issue with CompCert, it just doesn't allow empty initialiser lists. Instead the following will actually parse and compile with CompCert:

#define NUM_TAPS 4
void fir ( int input, int *output, int taps [NUM_TAPS] ) {

    static int delay_line [NUM_TAPS] = {0};

    int result = 0;

    for ( int i = NUM_TAPS -1 ; i > 0 ; i--) {
        delay_line[i] = delay_line[i - 1];
    }

    delay_line[0] = input;

    for ( int i = 0 ; i < NUM_TAPS ; i ++ ) {
        result += delay_line[i] * taps[i];
    }

    *output = result;
}

Finally though, unfortunavely Vericert doesn't support a large subset of C yet, so the designs that you can compile at the moment don't really look like typical HLS designs as you have written here. The below function will at least compile and kind of do what you want:

#define NUM_TAPS 4
int main ( int input ) {

    int taps [NUM_TAPS] = {1, 2, 3, 4};

    int delay_line [NUM_TAPS] = {0};

    int result = 0;

    for ( int i = NUM_TAPS -1 ; i > 0 ; i--) {
        delay_line[i] = delay_line[i - 1];
    }

    delay_line[0] = input;

    for ( int i = 0 ; i < NUM_TAPS ; i ++ ) {
        result += delay_line[i] * taps[i];
    }

    return result;
}

In general though, the things that you are using which are not supported in Vericert but used all the time in HLS are (which actually incidentally all have to do with the simplistic memory handling in Vericert:

• Static variables, very useful for persistent state. This is related to the simplistic memory layout that Vericert supports.
• Passing arrays into functions as arguments.
• Returning a value by modifying a pointer.
• Supporting not having a main function. This one is also quite difficult to tackle, but would be necessary for the HLS tool to be usable in practice.

Thanks for trying out Vericert though! I'm happy you managed to compile it in the first place. I hope this helps, and let me know if you have any thoughts.

from vericert.

But I will admit, without static the second design I posted does not implement an FIR filter.

from vericert.

Thanks a lot for the detailed reply!

from vericert.