FPGA design engineer and blogger, placing particular emphasis on test and formal verification

• Pinned

  

  Wow, lots of new twitter followers just joined. Welcome! Just to give you an opportunity to get to know me and the ZipCPU blog, here's a bit about me and what you can expect here: zipcpu.com/blog/2018/10/0… Again, welcome!

• 

  Here's a formal verification thought for the morning. It might help you resolve if the cover failure was structural, or if you just didn't run the proof long enough

• 

  I feel like a ground hog. I work in my little world of bits and bytes, wires and registers, simulations and proofs, then I poke my head out. Yep, the news is still bad. The world is falling apart. ... and now back to the engineering.

• 

  While this FPGA board still needs some more education, and definitely some more practice on its letters, I like it's attitude.

• 

  I was just asked if my serial port controller met the CRA requirements for Cyber Security. Seriously? It's a serial port. What do they want from it? If you want additional features, those will have a price attached--like anything.