BAT: The bit-level analysis tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4590 LNCS, Issue , 2007, Pages 303-306

  Manolios, Panagiotis ^a   Srinivasan, Sudarshan K ^b   Vroon, Daron ^a  

^a Georgia Institute of Technology   (United States)

^b GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY SEQUENCES; LOGIC PROGRAMMING; PIPELINE PROCESSING SYSTEMS; SPECIFICATION LANGUAGES; STORAGE ALLOCATION (COMPUTER); VERIFICATION;

MEMORY ABSTRACTION ALGORITHM; SYSTEM LEVEL PROPERTIES;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 38149078029     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73368-3_35     Document Type: Conference Paper

References (7)

1. Dutertre, B., de Moura, L.M.: A fast linear-arithmetic solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 81-94. Springer, Heidelberg (2006)
2. Jackson, P., Sheridan, D.: Clause form conversions for boolean circuits. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol. 3542, pp. 183-198. Springer, Heidelberg (2005)
3. Manolios, P., Srinivasan, S.K.: A complete compositional reasoning framework for the efficient verification of pipelined machines. In: International Conference on Computer-Aided Design (ICCAD'05), pp. 863-870. IEEE Computer Society Press, Los Alamitos (2005)
4. Manolios, P., Srinivasan, S.K., Vroon, D.: Automatic memory reductions for RTL-level verification. In: ICCAD 2006. ACM-IEEE International Conference on Computer Aided Design, ACM, California (2006)
5. Manolios, P., Srinivasan, S.K., Vroon, D.: BAT: The Bit-level Analysis Tool (2006) Available from http://www.cc.gatech.edu/-manolios/bat/
6. Manolios, P., Vroon, D.: Efficient circuit to CNF conversion. In: International Conference on Theory and Applications of Satisfiability Testing (2007)
7. Tseitin, G.S.: On the complexity of derivation in propositional calculus. In: Slisenko, A.O. (ed.) Studies in Constructive Mathematics and Mathematical Logic, Part2, pp. 115-125. Consultants Bureau, New York-London (1962)