Deepinder P. Sidhu. Logic programming applied to hardware design specification and verification. In M. Carter, Robert A. Mueller, editors, Proceedings of the 17th annual workshop on Microprogramming, MICRO 1984, New Orleans, Louisiana, USA, October 30 - November 2, 1984. pages 309-313, ACM/IEEE, 1984. [doi]
Abstract is missing.