{"entities":{"Q2336212":{"pageid":2346955,"ns":120,"title":"Item:Q2336212","lastrevid":57605157,"modified":"2026-03-31T14:25:20Z","type":"item","id":"Q2336212","labels":{"en":{"language":"en","value":"Groebner bases based verification solution for SystemVerilog concurrent assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131394"}},"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":"Q2336212$92B40FEC-2B3B-4324-9629-2B28AB2A5BB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f27d1d2489077a64b125e9f4df359b44cfe3b3f","datavalue":{"value":{"text":"Groebner bases based verification solution for SystemVerilog concurrent assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2336212$30872C00-2249-40DF-8B21-F9AAA12142FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7119a747754a38eefd20efaaa1d61e8d0c5e752","datavalue":{"value":"1437.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$AA1BE633-4C6F-4585-8AA8-2A9F1A516236","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"418ec6e8f9d73566408b0ff5fc02f5ee12ec3307","datavalue":{"value":"10.1155/2014/194574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$9D63ABFE-45F9-4150-BB78-6B20F04DE6D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d938d3d91898b59babbd2432dfa2a5678221bd","datavalue":{"value":{"entity-type":"item","numeric-id":364507,"id":"Q364507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$EBD690AE-42C8-4A1E-B6A2-8DC3BDC83101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a3e615336cdaa5e3472dc05b54acd5b74a7b1ba","datavalue":{"value":{"entity-type":"item","numeric-id":364506,"id":"Q364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$9CF46C22-562B-4617-B904-237D77A2D0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$0C42C0C2-7A26-4600-A7D0-80BAACDA6AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cee78338c77e07cfd9632b26e40d2e7afe55786","datavalue":{"value":{"entity-type":"item","numeric-id":2336211,"id":"Q2336211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$7F39B17E-4FE2-4145-AB18-8A918AB3C1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9819329e5b611f7aa2ee679391345a631414b8ce","datavalue":{"value":{"entity-type":"item","numeric-id":364508,"id":"Q364508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$14E1D90B-5A55-49AE-B8E0-19B4B24025F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$E2B2D33F-DE29-4FDC-A39E-1E80706DA7A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2336212$8006E8F1-423F-46AD-A88C-54DD434943D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b917579d0eb3500d67fceabbe0dcfe27ac1c05e8","datavalue":{"value":"Summary: We introduce an approach exploiting the power of polynomial ring algebra to perform SystemVerilog assertion verification over digital circuit systems. This method is based on Groebner bases theory and sequential properties checking. We define a constrained subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied. We present an algorithm framework based on the algebraic representations using Groebner bases for concurrent SVAs checking. Case studies show that computer algebra can provide canonical symbolic representations for both assertions and circuit designs and can act as a novel solver engine from the viewpoint of symbolic computation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2336212$E4AF17BC-D3C2-49C2-97BD-3888E0828D9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$F34426B0-0F39-47B6-B6DC-04435B1D158C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$68B671A0-294F-4B1B-A606-51A1B9E456F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$8A5D3AE4-D9D1-4AC3-A51D-ADD425B3E93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$68522494-AADA-42C0-87CF-5D2B95E20D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$5CA650A4-C8E8-470E-A0E9-89CB4C146FE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f94481429610a733acb5cf0d39957788bc596fa8","datavalue":{"value":"7131394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$CF767FD8-8114-4310-80D8-0A1DA3E50FAC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c7283fee5c5ff358ce63042042d99c6709fc9f9","datavalue":{"value":"Q59050197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$AC39A868-B23E-482B-85B2-54EF380D860B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2fa495224bd49a6ead60c693f97e8b5080a0d20","datavalue":{"value":{"entity-type":"item","numeric-id":25507,"id":"Q25507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$9EE5A37D-D879-4290-9574-A7A758B347A0","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":"Q2336212$99A70EDB-23D1-48C9-B2F3-007A62EE8E35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9de748f15c252de55a7dd26194910eaa0ad32ac1","datavalue":{"value":"https://doi.org/10.1155/2014/194574","type":"string"},"datatype":"url"},"type":"statement","id":"Q2336212$5EE09585-FB27-4EAA-BEF5-E11C088313FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20c1c1e8624d51aa45d1fc56ccfc284627d724c1","datavalue":{"value":"W2007056666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336212$5C954411-A45A-4381-AC91-759219492D7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4ce27d9cea2b01c4edcb4999b99aa016a1252b","datavalue":{"value":{"entity-type":"item","numeric-id":5262770,"id":"Q5262770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$47DED51F-4596-4BA8-B2E6-0D4A14B111FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ed73407e9a64adc65ae5d8fbd3967403b543a0","datavalue":{"value":{"entity-type":"item","numeric-id":2375464,"id":"Q2375464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$3BA85936-DC64-47C7-8455-A767E7FEC760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5fd811cd60ae6f29d55519b76af9786640504f4","datavalue":{"value":{"entity-type":"item","numeric-id":364509,"id":"Q364509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$04D7A4F2-10D4-4698-BD82-EB450D07320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$B90BC871-527A-420F-A4B6-B62BC883EC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$CB9A8399-B949-41F6-B5AE-F3D41ED50DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$D52D90A8-995C-41D1-A1DA-5189B7138504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$010CDB80-43B0-4B66-9134-5C6407FA494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$8425272B-54E4-49CD-90BB-A0E0CA231C42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cc992cc6a774e713ccdb34f88aff56e12ab849","datavalue":{"value":{"entity-type":"item","numeric-id":2375464,"id":"Q2375464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df1f9f3bed03b1297313c2454d5ef7a8102b332","datavalue":{"value":{"amount":"+0.8155251741409302","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":"Q2336212$3D3B794B-9D79-4107-A873-177C40A1C860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b4022d442f376be088c3a55bfef236a7490afc","datavalue":{"value":{"entity-type":"item","numeric-id":364509,"id":"Q364509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963494a98f02372c9075367d215b77d18013ce9e","datavalue":{"value":{"amount":"+0.8132792711257935","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":"Q2336212$739CC1C5-FF74-4F9C-BECA-DD712640A917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b25e621a64b5c2beb9f170c779ed8d87af2d7d8","datavalue":{"value":{"entity-type":"item","numeric-id":1017680,"id":"Q1017680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fabbdd7221405cb42d30ffb940c0c7172ace79","datavalue":{"value":{"amount":"+0.7548546195030212","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":"Q2336212$1822972B-4C40-4CBF-8868-693C9D8B1FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234e5a2580dae50ee7540ab5ee06d1ac683de848","datavalue":{"value":{"entity-type":"item","numeric-id":5756748,"id":"Q5756748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9587aaadaa12c39680e7fdb715a1f7827fd5b40","datavalue":{"value":{"amount":"+0.718565821647644","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":"Q2336212$3912095A-700E-4651-8B69-8813835B0692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b3adbab84e01470b1077854b75cd9ca602e696","datavalue":{"value":{"entity-type":"item","numeric-id":3401771,"id":"Q3401771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a244a1bdf603e5f812921f087af08545cf189c9","datavalue":{"value":{"amount":"+0.7174410820007324","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":"Q2336212$606E4749-BE3B-43F5-86C2-9A26BE2EE552","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336212$23436CA8-D9C1-4E36-9B29-226CA3A24DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2336212","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2336212"}}}}}