{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:42:23Z","timestamp":1740134543365,"version":"3.37.3"},"reference-count":9,"publisher":"Wiley","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Natural Science Foundation of Guangxi","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}]},{"name":"Natural Science Foundation of Guangxi","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}]},{"name":"Natural Science Foundation of Guangxi","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}]},{"name":"Science and Technology Foundation of Guangxi","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}]},{"name":"Guangxi Education Department","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Guangxi Key Laboratory of Hybrid Computation","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}]},{"name":"IC Design Analysis Open Fund","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}]},{"name":"Baguio scholarship Project of Guangxi","award":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"],"award-info":[{"award-number":["11371003","2011GXNSFA018154","2012GXNSFGA060003","2013GXNSFAA019342","10169-1","201012MS274","DUT14QY05","HCIC201204"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Mathematics"],"published-print":{"date-parts":[[2014]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1155\/2014\/194574","type":"journal-article","created":{"date-parts":[[2014,6,11]],"date-time":"2014-06-11T21:12:52Z","timestamp":1402521172000},"page":"1-15","source":"Crossref","is-referenced-by-count":0,"title":["Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions"],"prefix":"10.1155","volume":"2014","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7466-8925","authenticated-orcid":true,"given":"Ning","family":"Zhou","sequence":"first","affiliation":[{"name":"School of Computer and Information Technology, Beijing Jiaotong University, Beijing 10044, China"},{"name":"School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinyan","family":"Gao","sequence":"additional","affiliation":[{"name":"G & S Labs, School of Software of Dalian University of Technology, Dalian 116620, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinzhao","family":"Wu","sequence":"additional","affiliation":[{"name":"School of Computer and Information Technology, Beijing Jiaotong University, Beijing 10044, China"},{"name":"Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianchao","family":"Wei","sequence":"additional","affiliation":[{"name":"G & S Labs, School of Software of Dalian University of Technology, Dalian 116620, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dakui","family":"Li","sequence":"additional","affiliation":[{"name":"G & S Labs, School of Software of Dalian University of Technology, Dalian 116620, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"8","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/272781"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/740194"},{"year":"1992","key":"10"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0913-3"},{"first-page":"184","volume-title":"Groebner bases: an algorithmic method in polynomial ideal theory","year":"1985","key":"12"},{"issue":"6","key":"13","first-page":"509","volume":"27","year":"1978","journal-title":"IEEE Transactions on Computers C"},{"volume-title":"Boolean ring","year":"2001","key":"15"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01383966"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8"}],"container-title":["Journal of Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/194574.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/194574.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/194574.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,12]],"date-time":"2020-05-12T00:41:22Z","timestamp":1589244082000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.hindawi.com\/journals\/jam\/2014\/194574\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":9,"alternative-id":["194574","194574"],"URL":"https:\/\/doi.org\/10.1155\/2014\/194574","relation":{},"ISSN":["1110-757X","1687-0042"],"issn-type":[{"type":"print","value":"1110-757X"},{"type":"electronic","value":"1687-0042"}],"subject":[],"published":{"date-parts":[[2014]]}}}