Author:
Staber Stefan,Fey Görschwin,Bloem Roderick,Drechsler Rolf
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abramovici, M., Menon, P.R., Miller, D.T.: Critical path tracing - an alternative to fault simulation. In: Design Automation Conf., pp. 214–220 (1983)
2. Ali, M.F., et al.: Post-verification debugging of hierarchical designs. In: Int’l Conf. on CAD, pp. 871–876 (2005)
3. Ali, M.F., et al.: Debugging sequential circuits using Boolean satisfiability. In: Int’l Conf. on CAD, pp. 204–209 (2004)
4. Biere, A., Artho, C., Schuppan, V.: Liveness checking as safety checking. Electronic Notes in Theoretical Computer Science, Formal Methods for Industrial Critical Systems (FMICS’02) 66(2) (2002)
5. Lecture Notes in Computer Science;A. Biere,1999
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Finding and fixing faults;Journal of Computer and System Sciences;2012-03
2. Employing Test Suites for Verilog Fault Localization;Current Topics in Artificial Intelligence;2010