Design Intent Verification by Formal Property Coverage http://127.0.0.1/xmlui/handle/123456789/9134 Wed, 06 May 2026 22:30:55 GMT 2026-05-06T22:30:55Z Design Intent Verification by Formal Property Coverage http://127.0.0.1/xmlui/handle/123456789/9135 Design Intent Verification by Formal Property Coverage Basu, Prasenjit Thu, 15 Jun 2006 00:00:00 GMT http://127.0.0.1/xmlui/handle/123456789/9135 2006-06-15T00:00:00Z