Java Digital-circuit Resources