메뉴 건너뛰기




Volumn , Issue , 2004, Pages 524-529

A SAT-based algorithm for reparameterization in symbolic simulation

Author keywords

Bounded Model Checking; Parametric Representation; Safety Property Checking; SAT checkers; Symbolic Simulation

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTER SIMULATION; PARAMETER ESTIMATION; SET THEORY; VECTORS;

EID: 4444250081     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/996566.996711     Document Type: Conference Paper
Times cited : (19)

References (12)
  • 3
    • 4444226915 scopus 로고    scopus 로고
    • Using SAT based image computation for reachability analysis
    • Carnegie Mellon University, School of Computer Science
    • P. Chauhan, E. M. Clarke, and D. Kroening. Using SAT based image computation for reachability analysis. Technical Report CMU-CS-03-151, Carnegie Mellon University, School of Computer Science, 2003.
    • (2003) Technical Report , vol.CMU-CS-03-151
    • Chauhan, P.1    Clarke, E.M.2    Kroening, D.3
  • 6
    • 0025556059 scopus 로고
    • A unified framework for the formal verification of sequential circuits
    • IEEE Computer Society Press, November
    • O. Coudert and J. C. Madre. A unified framework for the formal verification of sequential circuits. In Proc. Intl. Conf. on Computer-Aided Design (ICCAD), pages 78-82. IEEE Computer Society Press, November 1990.
    • (1990) Proc. Intl. Conf. on Computer-aided Design (ICCAD)
    • Coudert, O.1    Madre, J.C.2
  • 12
    • 84948166044 scopus 로고    scopus 로고
    • Generalized symbolic trajectory evaluation - Abstraction in action
    • J. Yang and C.-J. H. Seger. Generalized symbolic trajectory evaluation - abstraction in action. In Proceedings of FMCAD'02, volume 2517 of LNCS, pages 70-86, 2002.
    • (2002) Proceedings of FMCAD'02, Volume 2517 of LNCS , vol.2517 , pp. 70-86
    • Yang, J.1    Seger, C.-J.H.2


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