I'm lacking experience in Gate Level Simulation so I want to practice more or gain more experience on solving issues on this level. The problem is, I want to do this at home, not in my office, so I need a software tool that can run GLS. Cadence and Synopsys need a license and that is very expensive. I can't pay that much just to do some practices... So do you know any free tool which I can use?.. Aside from tool, I think I need a library too for the gates. Where can I find these?