Comparing Two Verilog CPU Implementations Using EBMC | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Comparing Two Verilog CPU Implementations Using EBMC (philipzucker.com)
		10 points by todsacerdoti on Feb 11, 2025 \| hide \| past \| favorite \| 1 comment

Rochus on Feb 11, 2025 [–]

EBMC: http://www.cprover.org/ebmc/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact