JCSim is a digital circuit simulator written in Java