losys

losys is a logic synthesis and verification infrastructure developed for my own education as I venture in the world of EDA and CAD tools. My intent is to evolve it as I learn different approaches, techniques, algorithms, etc...