WbXbc is my first soft IP hobby project. My main motivation behind this project is to get some hands-on experience with open source EDA tools. One of my goals is to completely verify this IP using free formal verification tools.