Mechanics in Hardware Description Languages