| Vol-1130 urn:nbn:de:0074-1130-3 Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# DIFTS'13
Design and Implementation of Formal Tools and Systems 2013

### Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems

#### Co-located with FMCAD'13 and MEMOCODE'13

### Portland, OR, USA, October 19, 2013.

Edited by

### Malay Ganai *
Alper Sen **

* NEC Labs America, Princeton, NJ, USA
** Bogazici University, Istanbul, Turkey

## Table of Contents

- Proceedings

### Invited Talks

1. Diagnosis and Correction of Buggy Hardware/Software with Formal Approaches (invited talk, paper not included)
   Masahiro Fujita
2. Approximate Formal Verification using Model-based Testing (invited talk, paper not included)
   Rance Cleaveland
3. Stimulus Generation, Enhancement, and Debug in Constraint Random Verification (invited talk, paper not included)
   Dhiraj Goswami

### Session I: System

1. Lemmas on Demand for Lambdas
   Mathias Preiner, Aina Niemetz, Armin Biere
2. Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3
   Marco Palena, Gianpiero Cabodi, Alan Mishchenko
3. LEC: Learning Driven Data-path Equivalence Checking
   Jiang Long, Robert Brayton, Michael Case

### Session II: Tools

1. A Fast Reparameterization Procedure
   Niklas Een, Alan Mishchenko
2. Abstraction-Based Livelock/Deadlock Checking for Hardware Verification
   In-Ho Moon, Kevin Harer
3. CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models
   Sonali Dutta, Moshe Y. Vardi, Deian Tabakov

2014-02-24: submitted by Malay Ganai
2014-02-24: published on CEUR-WS.org |valid HTML5|