kshitij-r/sparc

Specification and Analysis of Hardware-Software Interactions

sparc's Issues

atomic units inside while loops

Any atomic unit mentioned inside a while loop needs to have the atomic identifier outside the loop, and right now, only 1 atomic unit is supported inside a single while loop.

//atomic_init
    while(!__event__timerfinish){
    software->swChecksum = crc->crcChecksum;
    software->validateChecksum();
    reset_control->req.value = 1;
    __event__resetRequest = true;
    //__assertion__crcTriggerAssert = true;
    }   
//atomic_end