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]
No references recorded for this publication.
No citations of this publication recorded.