corpus.blog
41,554 blogs · 5,063,431 posts Claim your blog
Record · corpus.blog/posts/01a0878f-ba31-7221-90b8-3798e306f86a

Who checks the equivalence checkers?

Wickopedia – A blog by John Wickerson · published 10 September 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at johnwickerson.wordpress.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
11
Words captured
1,098

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://johnwickerson.github.io/papers/equifuzz.pdf
johnwickerson.github.io
https://dvcon-europe.org/
dvcon-europe.org
https://mpardalos.com/
mpardalos.com
https://multicore.doc.ic.ac.uk/
multicore.doc.ic.ac.uk
https://www.linkedin.com/in/emiliano-morini-7548139/
linkedin.com
https://www.inf.usi.ch/faculty/pozzi/
inf.usi.ch
https://en.wikipedia.org/wiki/Formal_equivalence_checking
en.wikipedia.org
https://web.archive.org/web/20240421191100/https://www.synopsys.com/blogs/chip-design/verifying-complex-datapath-designs-with-hector.html
web.archive.org
https://web.archive.org/web/20210418004050/https://www.prnewswire.com/news-releases/mentor-ushers-in-new-era-of-c-verification-signoff-with-new-catapult-tools-and-solutions-300469227.html
web.archive.org
https://en.wikipedia.org/wiki/Csmith
en.wikipedia.org
https://github.com/intel/yarpgen
github.com