Update atomicity monitor to make it synthesizable

sancus-tee / sancus-core

Minimal OpenMSP430 hardware extensions for isolation and attestation

BSD 3-Clause "New" or "Revised" License

20 stars 13 forks source link

Update atomicity monitor to make it synthesizable #29

Open fritzalder opened 2 years ago

fritzalder commented 2 years ago

This PR fixes two assignment under multiple single edges bugs that made the aion core not synthesizable. All tests pass locally for me but I'm not 100% sure we completely cover this exact file with our tests so please take a quick look. But I only added a block in the beginning as discussed and expanded the else block to make the ~puc_rst checks unnecesary.

fritzalder commented 2 years ago

Also the changes look horrible since I fixed the indentation to make it more readable.

fritzalder commented 2 years ago

This is not ready to merge yet, I'll merge it once the aion fpga image works