Design Intent Verification by Formal Property Coverage http://127.0.0.1/xmlui/handle/123456789/9134 Thu, 16 Apr 2026 16:16:44 GMT 2026-04-16T16:16:44Z 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