Title: A specification language for digital systems