메뉴 건너뛰기




Volumn , Issue , 2007, Pages 13-19

Improved design debugging using maximum satisfiability

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER AIDED DESIGN; EMBEDDED SYSTEMS; ERROR ANALYSIS;

EID: 44649101570     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FAMCAD.2007.26     Document Type: Conference Paper
Times cited : (106)

References (11)
  • 4
    • 16244421073 scopus 로고    scopus 로고
    • DAG-aware circuit compression for formal verification
    • P. Bjesse and A. Boralv, "DAG-aware circuit compression for formal verification," in Int'l Conf. on CAD, 2004, pp. 42-49.
    • (2004) Int'l Conf. on CAD , pp. 42-49
    • Bjesse, P.1    Boralv, A.2
  • 7
    • 0036918496 scopus 로고    scopus 로고
    • Robust Boolean reasoning for equivalence checking and functional property verification
    • A. Kuehlmann, V. Paruthi, F. Krohm, and M. Ganai, "Robust Boolean reasoning for equivalence checking and functional property verification," IEEE Trans. on CAD, vol. 21, no. 12, pp. 1377-1394, 2002.
    • (2002) IEEE Trans. on CAD , vol.21 , Issue.12 , pp. 1377-1394
    • Kuehlmann, A.1    Paruthi, V.2    Krohm, F.3    Ganai, M.4
  • 9
    • 34548335001 scopus 로고    scopus 로고
    • OpenCores.org, "http://www.opencores.org," 2006.
    • (2006) OpenCores.org
  • 10
    • 27144460537 scopus 로고    scopus 로고
    • Fault diagnosis and logic debugging using Boolean satisfiability
    • A. Smith, A. Veneris, M. F. Ali, and A. Viglas, "Fault diagnosis and logic debugging using Boolean satisfiability," IEEE Trans. on CAD, vol. 24, no. 10, pp. 1606-1621, 2005.
    • (2005) IEEE Trans. on CAD , vol.24 , Issue.10 , pp. 1606-1621
    • Smith, A.1    Veneris, A.2    Ali, M.F.3    Viglas, A.4
  • 11
    • 0033351758 scopus 로고    scopus 로고
    • Design error diagnosis and correction via test vector simulation
    • A. Veneris and I. N. Hajj, "Design error diagnosis and correction via test vector simulation," IEEE Trans. on CAD, vol. 18, no. 12, pp. 1803-1816, 1999.
    • (1999) IEEE Trans. on CAD , vol.18 , Issue.12 , pp. 1803-1816
    • Veneris, A.1    Hajj, I.N.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.