Share your thoughts, 1 month free Claude Pro on usSee more

Formal Verification on AXI4Lite

139Assertion Count

Saarthi

Updated 1mo ago

Evaluation Results

Method	Links
Saarthi 2026.03		139	-	3	72.66	44.06
Saarthi 2026.03		117	-	3	61.15	41.18
Saarthi 2026.03		92	-	5	23.9	37.16
Saarthi 2026.03		87	-	3	68.96	50
Saarthi 2026.03		75	-	5	40	35
Saarthi 2026.03		74	-	3	62.16	41.51
Saarthi 2026.03		69	-	5	46.37	31.29
Saarthi 2026.03		60	-	5	45	36.42
Saarthi 2026.03		39	-	5	64.1	32.83