../
Meeting with Tommy
Notes
- Figure out this non-determinism
- Start writing a paper
- Have 5 claude runs answer why come assertions keep popping up and some don’t
- Have multiple examples
- use the larger designs to finally evaluate the design
- Take screenshot of the FIFO example and the overflow
- Run it with CEX