If you haven’t noticed, there’s a link on the left of each page to the projects I’ve been working on. That page doesn’t get updated nearly as often as it should be. However, I thought I’d let you know that I updated it today.

Perhaps the biggest new item is that I’m now teaching a two-day formal verification course. If you’d me to come and teach formal verification at your workplace, please let me know. I’m also prepared to offer individual lessons via video teleconferencing.

Other new projects listed include many of the projects you’ve seen presented here.

Chief among these are the DSP posts. Hence, the page now lists the sine wave generators we’ve discussed on the blog, filters, and interpolators. Further, the FFT is undergoing a fascinating transformation to make it more general purpose, but that’s far from complete.

I also added a desscription to some of the items that had no description before. Perhaps the most interesting of these is the GPS schooled clock–a basic project that can lock an internal FPGA counter to the PPS output of a PMod GPS.

Feel free to check out this new and updated project page, and by all means please write if you find any broken links, have any questions, comments, or suggestions!