| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| I2C | Assertain | Correct Assertions Count39 | 2 | 16d ago | |
| MMU | Assertain | Correct Assertions Count42 | 2 | 16d ago | |
| Store_Unit | Assertain | Correct Assertions Count50 | 2 | 16d ago | |
| UART | Assertain | Correct Assertions Count33 | 2 | 16d ago | |
| MIPS | Assertain | Correct Assertions Count44 | 2 | 16d ago | |
| SoC_Subsystem | Assertion Correctness Count33 | 2 | 16d ago | ||
| AES Buggy | Assertain | Assertion Count31 | 2 | 16d ago | |
| CSR_Module | Assertain | Assertion Count46 | 2 | 16d ago | |
| Password Verification | Assertain | Correct Assertions21 | 2 | 16d ago | |
| DMI_JTAG | Assertain | Correct Assertions30 | 2 | 16d ago | |
| Door Lock | Assertain | Correct Assertions27 | 2 | 16d ago |
