{"entities":{"Q1696592":{"pageid":1707333,"ns":120,"title":"Item:Q1696592","lastrevid":74142876,"modified":"2026-04-14T18:34:26Z","type":"item","id":"Q1696592","labels":{"en":{"language":"en","value":"A methodology to take credit for high-level verification during RTL verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6838882"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$3848700D-7A0E-402E-AD9A-5E6462E9D47A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4203e57574960df437bab10138315b263ae93e2","datavalue":{"value":{"text":"A methodology to take credit for high-level verification during RTL verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1696592$2591FCB6-25AE-473C-988B-67B5C1D7BA43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dd8886920747141fd5cb91726ec25abae1ba172","datavalue":{"value":"1386.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696592$00D09444-0844-403F-A1D0-B5BA5212444C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea9a224e7533f22d0095b32e6030b47be676381","datavalue":{"value":{"entity-type":"item","numeric-id":1696590,"id":"Q1696590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$B805BBAB-C509-4EE0-8F3D-03629C1BFDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a17f242a3e8e18424e964720afec0852d4e8feae","datavalue":{"value":{"entity-type":"item","numeric-id":1696591,"id":"Q1696591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$34ABC4AB-0425-4D1E-9865-43D5AD839EA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$09283F7C-6143-493E-89A5-0AFECBB77AD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05d7846712e272ed872436847e0975767a3ed77e","datavalue":{"value":{"time":"+2018-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1696592$DA6DE4EC-B95C-47A8-B7DD-543DC1F09894","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696592$686E74E0-9204-4254-9B42-93878DD1544D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4836dc496daddf230343ecde866be61b6aadca5f","datavalue":{"value":"6838882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696592$146F3E96-19B5-4F48-BD31-B99CE360C363","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3834586fe2407e1a581d5bbf4624cadad3ba7e1f","datavalue":{"value":"SystemC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696592$7D714E4A-E27E-46AC-BB5A-0F0B73FDE163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60893b19873951289c4cffa4988662b3b84228a2","datavalue":{"value":"high-level synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696592$31E74C60-A91A-4F02-9BD0-80C7DCD06EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86ad0dca1eedf3d2c94eb89ec84eb5d2cf0885d8","datavalue":{"value":"micro-architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696592$B9E2818A-2DE8-4801-8E1F-2B0B0E8F8ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef2d191e93815759dc4a663c2f7b7256be3da64","datavalue":{"value":"high-level verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696592$1DE3C0E8-1132-4B84-90C9-2F016C752ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7541f3d7227985e54a04559270d0d48e9e4055ea","datavalue":{"value":"coverage","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696592$0C774392-FE67-485A-BA17-AFB43A3791F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696592$85B9F129-7EC5-4D43-9181-EA62E9CF52C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696592$06D9F445-1C92-4D4A-8C34-AE714F038EC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$3BD81314-40D0-429A-953B-4963F9928948","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$D5FF52A8-1F8D-4B03-8020-97D17A3C8D81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edef7ca3eb01ac574424066721656b80b278fac3","datavalue":{"value":"https://doi.org/10.1007/s10703-017-0299-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1696592$3FCD0EA5-211D-4FBD-A018-2948D7965CB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c024a5fdf4252308855c9830966cb82e952727b","datavalue":{"value":"W2756079799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696592$01BFA6F4-EB86-4B0A-8034-6859C4DFDE3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$63E7B31F-5D52-46C1-8BC0-5322E981BB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e1f26a0a8ebe865a69144e548dbec78096105f","datavalue":{"value":{"entity-type":"item","numeric-id":3512432,"id":"Q3512432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$4F23EE08-B9E8-4D02-A181-868758D66DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6115d0c7581e7debec0da1f2c63be61ad555c87b","datavalue":{"value":{"entity-type":"item","numeric-id":4608682,"id":"Q4608682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$872FC00C-4D37-42E5-89B7-804D5C35CB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$E9D2324A-BFAB-4671-BC88-AB78498C4637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af8018e4b2238d1fb6a944b40d6c56807562f1c","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$F33885D8-30E8-4F44-BA09-AC1E698E11F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$E0673C5C-C87F-4FC1-8C90-ADD74263651D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$D0B33FFC-9411-4EB5-8089-73E6214075D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec42e407228050cf85fa2248f65bf77ef81cfcd","datavalue":{"value":{"entity-type":"item","numeric-id":5178866,"id":"Q5178866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$2FBF8401-3602-4077-8B2D-BF042FB96D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b0d7868a8c561ae21fa84b4d15c9ebfdc14bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2506292,"id":"Q2506292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696592$4BA493B0-4F9F-439D-BBFB-0842F4C25892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"500c2b48410ef51443ecce58f436eb9d4c25f6f7","datavalue":{"value":"10.1007/S10703-017-0299-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696592$20523A27-C8E7-48E4-A146-39FFFDA4CDE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a699f20dc7fcc6861b4f1856ddbe896276e8de05","datavalue":{"value":{"entity-type":"item","numeric-id":4545093,"id":"Q4545093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1b4f9faf9eb663c5a867f6dde87110e73f063b","datavalue":{"value":{"amount":"+0.7483347654342651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1696592$5838B3D7-122D-4ED0-8BE0-2D3F19E1DD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adda8a9fef29f398315e8701df599263073158ef","datavalue":{"value":{"entity-type":"item","numeric-id":2371975,"id":"Q2371975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358d0d639c25e1a608625ee24d608b708209779a","datavalue":{"value":{"amount":"+0.7242041230201721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1696592$576569AB-E844-464A-880A-C635613D496E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da61558870382e758651846caae9dbd4a814d9c6","datavalue":{"value":{"entity-type":"item","numeric-id":4408245,"id":"Q4408245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1d4150971ba3df7b5f892291f51cc9c5ac373e","datavalue":{"value":{"amount":"+0.7061235904693604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1696592$950236B0-7369-471B-BFCA-97F771397617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5969de98a9de966a8e97212c28c9b42b317f8ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4225365,"id":"Q4225365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704ab02c4d009d36e7af179892c21960ded3207e","datavalue":{"value":{"amount":"+0.7005974054336548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1696592$7F456C5E-2EBA-4C1D-A7EF-9777E93FA0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0530bea71112c476c23c796e4d2638b586ea42fe","datavalue":{"value":{"entity-type":"item","numeric-id":1566919,"id":"Q1566919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3361b514d6f4279b15f84f84b60864990ead5aee","datavalue":{"value":{"amount":"+0.7005651593208313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1696592$CFEC9ABA-3784-4625-A12D-CAD5CEB316D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A methodology to take credit for high-level verification during RTL verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_methodology_to_take_credit_for_high-level_verification_during_RTL_verification"}}}}}