Design Intent Verification by Formal Property Coverage http://127.0.0.1/xmlui/handle/123456789/9134 Tue, 16 Jun 2026 21:19:25 GMT 2026-06-16T21:19:25Z 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