{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:00:27Z","timestamp":1725609627529},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/vlsid.2007.141","type":"proceedings-article","created":{"date-parts":[[2007,2,28]],"date-time":"2007-02-28T22:25:13Z","timestamp":1172701513000},"page":"57-62","source":"Crossref","is-referenced-by-count":2,"title":["Simulation Based Verification using Temporally Attributed Boolean Logic"],"prefix":"10.1109","author":[{"given":"S.","family":"Panda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnab","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Chakrabarti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajeev","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"PSL and SVA Two standard assertion languages addressing complementary engineering needs","year":"0","author":"havlicek","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023727"},{"journal-title":"The Temporal Logic of Reactive and Concurrent Systems-Specification","year":"1991","author":"manna","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16047-7_50"},{"key":"ref2","first-page":"390","article-title":"A really temporal logic","author":"alur","year":"1990","journal-title":"Proc Annual Symposium on Foundations of Computer Science (FOCS)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"}],"event":{"name":"20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07)","start":{"date-parts":[[2007,1,6]]},"location":"Bangalore, India","end":{"date-parts":[[2007,1,10]]}},"container-title":["20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4091978\/4091979\/04092023.pdf?arnumber=4092023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T20:49:09Z","timestamp":1489610949000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4092023\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/vlsid.2007.141","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}