Follow

I've been having fun recently, making Z3 faster and learning about efficient ways to find equivalent Boolean formulas: jamey.thesharps.us/2021/09/05/

@jamey Thanks for writing up some of the things you learned (and your references). It sounds like a fun exploration. I work with FPGAs as part of how I make a living, and I know some of what you were exploring is behind the tooling that enables generating bitstreams from the HDL descriptions. I've always wanted to dig in to that more, but I haven't so far. If I ever make the time, the new open source FPGA tooling would be an interesting place to start.

Sign in to participate in the conversation
Toot.Cat

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!