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