Boole - a hardware description language