SmartSim: GPL-ed digital logic circuit design and simulation package for Linux and Raspberry Pi September 6, 2012 No Comments