Text this: Algorithmic and register-transfer level synthesis :