@inverseinductor.bsky.social
Til, EBMC supports SVA. That saves having to pay YosysHQ for tabbyCAD just for SVA support. Now I just need to start a project that'd be worth using formal verification on.
July 24, 2025 at 3:53 AM
Til, EBMC supports SVA. That saves having to pay YosysHQ for tabbyCAD just for SVA support. Now I just need to start a project that'd be worth using formal verification on.
@architeuthisflux.bsky.social Jumperless V5 has made it to Australia!
June 9, 2025 at 11:09 PM
@architeuthisflux.bsky.social Jumperless V5 has made it to Australia!