KARL subset used as a hardware design algebra
Reiner W. Hartenstein · ACM SIGDA Newsletter · 1980
By means of an example this paper describes the use of the Computer Hardware Description Language KARL to develop the concise specification of design problems such as generating the input to register trnsfer level simulators, or, to routing algorithms.