{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:49:52Z","timestamp":1729644592510,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isqed.2003.1194769","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T14:34:28Z","timestamp":1079966068000},"page":"419-424","source":"Crossref","is-referenced-by-count":1,"title":["Generation of hazard identification functions"],"prefix":"10.1109","author":[{"given":"M.K.","family":"Michael","sequence":"first","affiliation":[]},{"given":"S.","family":"Tragoudas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569907"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/43.402497"},{"key":"ref12","first-page":"694","article-title":"On delay fault testing in logic circuits","volume":"cad 6","author":"lin","year":"1987","journal-title":"IEEE Trans on CAD"},{"key":"ref13","first-page":"9","article-title":"Transient behavior of combinational logic networks","author":"mccluskey","year":"1962","journal-title":"Redundancy Techniques for Computing Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1991.185225"},{"journal-title":"Test-based timing verification using functional techniques","year":"2002","author":"michael","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/43.402498"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/43.892858"},{"journal-title":"CUDD CU Decision Diagram Package","year":"1999","author":"somenzi","key":"ref18"},{"key":"ref19","first-page":"45","article-title":"An algebraic approach towards transient analysis of asynchronous circuits","volume":"4","author":"sosnowski","year":"1978","journal-title":"Digital Processes"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"1069","DOI":"10.1109\/T-C.1974.223807","article-title":"procedures for eliminating static and dynamic hazards in test generation","volume":"c 23","author":"breuer","year":"1974","journal-title":"IEEE Transactions on Computers"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(72)90299-9"},{"key":"ref6","article-title":"Hazard algebras","author":"brzozowski","year":"2001","journal-title":"Maveric Research Report 00-2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/320856.320866"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1147\/rd.92.0090"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1109\/T-C.1974.223996","article-title":"a unified approach to combinational hazards","volume":"c 23","author":"beister","year":"1974","journal-title":"IEEE Transactions on Computers"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/12.372035"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/12.364533"},{"key":"ref20","first-page":"261","article-title":"Transient analysis of logical networks applied to hazard detection","volume":"25","author":"thayse","year":"1970","journal-title":"Philips Research Report"},{"journal-title":"Asynchronous Sequential Switching Circuits","year":"1969","author":"unger","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1973.223729"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/12.391185"}],"event":{"name":"ISQED 2003: 4th International Symposium on Quality Electronic Design","acronym":"ISQED-03","location":"San Jose, CA, USA"},"container-title":["Fourth International Symposium on Quality Electronic Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8500\/26872\/01194769.pdf?arnumber=1194769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:25:41Z","timestamp":1497587141000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1194769\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/isqed.2003.1194769","relation":{},"subject":[]}}