{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T10:23:59Z","timestamp":1725445439297},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/mse.2011.5937107","type":"proceedings-article","created":{"date-parts":[[2011,7,7]],"date-time":"2011-07-07T13:27:57Z","timestamp":1310045277000},"page":"112-113","source":"Crossref","is-referenced-by-count":0,"title":["SystemVerilog assertion for microarchitecture education considering situated nature of learning: A senior project"],"prefix":"10.1109","author":[{"given":"Ryuichi","family":"Takahashi","sequence":"first","affiliation":[]},{"given":"Yoshiyasu","family":"Takefuji","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MSE.2005.39"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511815355"},{"journal-title":"The Architecture of Pipelined Computers","year":"1981","author":"kogge","key":"ref2"},{"journal-title":"Assertion-Based Design","year":"2004","author":"foster","key":"ref1"}],"event":{"name":"2011 IEEE International Conference on Microelectronic Systems Education (MSE)","start":{"date-parts":[[2011,6,5]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2011,6,6]]}},"container-title":["2011 IEEE International Conference on Microelectronic Systems Education"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5899296\/5937069\/05937107.pdf?arnumber=5937107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T03:10:26Z","timestamp":1490065826000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5937107\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/mse.2011.5937107","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}