york-lava-0.2: A library for digital circuit description.