{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:58:04Z","timestamp":1730213884785,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2004.1268826","type":"proceedings-article","created":{"date-parts":[[2004,6,21]],"date-time":"2004-06-21T17:52:40Z","timestamp":1087840360000},"page":"50-55","source":"Crossref","is-referenced-by-count":6,"title":["Using BDDs and ZBDDs for efficient identification of testable path delay faults"],"prefix":"10.1109","author":[{"given":"S.","family":"Padmanaban","sequence":"first","affiliation":[]},{"given":"S.","family":"Tragoudas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/43.331411"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/43.511566"},{"key":"10","first-page":"254","volume":"13","author":"pomeranz","year":"1994","journal-title":"SPACES-ACE Simulator for Path Delay Faults"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/12.372035"},{"journal-title":"Zero-Suppressed Binary Decision Diagrams","year":"1995","author":"minato","key":"7"},{"key":"6","first-page":"180","author":"mcgeer","year":"1991","journal-title":"Timing Analysis and Delay Fault Test Generation Using Path Recursive Functions"},{"key":"5","first-page":"992","author":"li","year":"1997","journal-title":"Efficient Identification of Non-Robustly Untestable Path Delay Faults"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643606"},{"key":"9","first-page":"305","author":"padmanaban","year":"2003","journal-title":"Exact Path Delay Fault Coverage with Fundamental Zero-Suppressed BDD Operations"},{"key":"8","first-page":"376","author":"murakami","year":"2000","journal-title":"Selection of Potentially Testable Path Delay Faults for Test Generation"},{"journal-title":"An Efficient Method to Identify Untestable Path Delay Faults","year":"2001","author":"shao","key":"11"},{"journal-title":"IGRAINE-An Implication GRaph BAsed EngINE for Fast Implication Justification and Propagation","year":"2000","author":"tafertshofer","key":"12"}],"event":{"name":". Design, Automation and Test in Europe Conference and Exhibition","acronym":"DATE-04","location":"Paris, France"},"container-title":["Proceedings Design, Automation and Test in Europe Conference and Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8959\/28390\/01268826.pdf?arnumber=1268826","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:03:09Z","timestamp":1489438989000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1268826\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/date.2004.1268826","relation":{},"subject":[]}}