Modelling and verifying synchronous circuits in DILL /
He, Ji.
Turner, Kenneth J.
University of Stirling.Department of Computing Science and Mathematics.
Stirling : Dept. of Computing Science and Mathematics, University of Stirling,
1999.
Includes bibliographical references.
Logic circuits.
Integrated circuits