{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:34:57Z","timestamp":1740548097703,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281283"},{"type":"electronic","value":"9783540318231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11535409_26","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T05:23:48Z","timestamp":1285651428000},"page":"188-195","source":"Crossref","is-referenced-by-count":1,"title":["Formal Co-verification for SoC Design with Colored Petri Net"],"prefix":"10.1007","author":[{"given":"Jinyu","family":"Zhan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nan","family":"Sang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guangze","family":"Xiong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Haase, J.: Design methodology for ip providers. In: Proc. DATE 1999, pp. 728\u2013732 (1999)","key":"26_CR1","DOI":"10.1145\/307418.307599"},{"unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking (1999)","key":"26_CR2"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"Graf, S., Saidi, H.: Construction of abstraction state graphs with pvs. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 72\u201383. Springer, Heidelberg (1997)"},{"unstructured":"A.C.L.: P, E., Z, P.: Formal coverification of embedded systems using model checking. In: The 26th Euromicro Conference, pp. 106\u2013113 (2000)","key":"26_CR4"},{"unstructured":"A.C.L.: P, E., Z, P.: Verification of embedded systems using petri net based representation. In: The 13th International Symposium on System Synthesis, pp. 149\u2013155 (2000)","key":"26_CR5"},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T.A., Ho, P.H.: Automatic symbolic verification of embedded systems. IEEE Transaction on Software Engineering\u00a022, 181\u2013201 (1996)","journal-title":"IEEE Transaction on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Marinissen, E., Arendsen, R., Bos, G.: A structured and scalable mechanism for test access to embedded reusable cores. In: The International Test Conference, pp. 284\u2013293 (1998)","key":"26_CR7","DOI":"10.1109\/TEST.1998.743166"},{"doi-asserted-by":"crossref","unstructured":"Yoneda, T., Fujiwara, H.: A dft method for core-based systems-on-a-chip based on consecutive testability. In: The 10th Asian Test Symposium, pp. 193\u2013198 (2001)","key":"26_CR8","DOI":"10.1109\/ATS.2001.990280"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1014916913577","volume":"18","author":"V. Iyengar","year":"2002","unstructured":"Iyengar, V., Chakrabarty, K., Marinissen, E.J.: Test wrapper and test access mechanism cooptimization for system-on-chip. Journal of Electronic Testing: Theory and Applications\u00a018, 213\u2013230 (2002)","journal-title":"Journal of Electronic Testing: Theory and Applications"},{"doi-asserted-by":"crossref","unstructured":"T.S.: Y, Y., T, H.: Between-core vector overlapping for test cost reduction in core testing. In: The 12th Asian Test Symposium, pp. 268\u2013273 (2003)","key":"26_CR10","DOI":"10.1109\/ATS.2003.1250821"},{"unstructured":"O.S.: A, O.: Parity-based output compaction for core-based socs [logic testing]. In: The 8th IEEE European Test Workshop, pp. 15\u201320 (2003)","key":"26_CR11"},{"unstructured":"Online: CPN Tools, http:\/\/wiki.daimi.au.dk\/cpntools\/","key":"26_CR12"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11535409_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T03:08:43Z","timestamp":1740539323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11535409_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281283","9783540318231"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11535409_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}