Algebraic approach to hardware description and verification
Luca Cardelli · ERA · 1982
We apply algebraic techniques to various aspects of hardware description and verification, with particular emphasis on VLSI (Very Large Scale Integration) circuit design.A simple and uniform notation for the description of networks of hardware components is introduced.It is shown how to impose planarity constraints, and how to treat regular and repetitive I regard this thesis as much a product of the Edinburgh environment as my own and I find it difficult to sort out all the ideas great and small which have been transmitted to me during these years.I would like to thank