Hardware Verification: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Scoot: A Tool for the Analysis of SystemC Models
Blanc, Nicolas, Kroening, Daniel and Sharygina, Natasha
In Proceedings of TACAS 2008 Springer, 2008.
To appear.
Details
|
BibTeX
|
|
[2]
|
Decision Procedures — an Algorithmic Point of View
Kroening, Daniel, Strichman, Ofer
Springer. 2008.
To appear.
Details
|
BibTeX
|
|
[3]
|
Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
Jain, Himanshu et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, pages 366—379. February 2008.
Details
|
BibTeX
|
|
[4]
|
Deciding Bit-Vector Arithmetic with Abstraction
Bryant, Randal E. et al.
In Proceedings of TACAS 2007 Vol. 4424 of Lecture Notes in Computer Science, pages 358—372. Springer, 2007.
Details
|
BibTeX
|
|
[5]
|
VCEGAR: Verilog CounterExample Guided Abstraction Refinement
Jain, Himanshu et al.
In Proceedings of TACAS 2007 Vol. 4424 of Lecture Notes in Computer Science, pages 583—586. Springer, 2007.
Details
|
BibTeX
|
|
[6]
|
Formal Verification of SystemC by Automatic Hardware/Software Partitioning
Kroening, Daniel, Sharygina, Natasha
In Proceedings of MEMOCODE 2005 pages 101—110. IEEE, 2005.
Details
|
BibTeX
|
|
[7]
|
Verification of SpecC and Verilog using Predicate Abstraction
Jain, Himanshu, Clarke, Edmund and Kroening, Daniel
In Proceedings of MEMOCODE 2004 pages 7—16. IEEE, 2004.
Details
|
BibTeX
|
|
[8]
|
A SAT-Based Algorithm for Reparameterization in Symbolic Simulation
Chauhan, Pankaj, Clarke, Edmund and Kroening, Daniel
In Proceedings of DAC 2004 pages 524—529. ACM Press, 2004.
Details
|
BibTeX
|
|
[9]
|
Specifying and Verifying Systems with Multiple Clocks
Clarke, Edmund, Kroening, Daniel and Yorav, Karen
In Proc. of the 2003 International Conference on Computer Design (ICCD) pages 48—55. IEEE, October 2003.
Details
|
BibTeX
|
|
[10]
|
Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
Kroening, Daniel, Clarke, Edmund and Yorav, Karen
In Proceedings of DAC 2003 pages 368—371. ACM Press, 2003.
Details
|
BibTeX
|
|
[11]
|
Automated Pipeline Design
Kroening, Daniel, Paul, Wolfgang
In Proc. of 38th ACM/IEEE Design Automation Conference (DAC 2001) pages 810—815. ACM Press, 2001.
Details
|
BibTeX
|
|
|
