… We present a data driven algorithm for equivalence checking of two loops. The algorithm
infers simulation relations using data from test runs. Once a candidate simulation relation has …

… equivalence between the input C/C++ code and its corresponding RTL of HLS. This paper
presents a C to RTL equivalence checking … behaviours using a data-driven approach. Finally, …

… In this paper, we formalize the equivalence checking problem for database-driven applications
and propose a verification algorithm for proving equivalence. Suppose that we are given …

… The core problem in this equivalence checking is invariant inference and we extend the
techniques described in Chapter 2 to infer equality invariants that relate the two binaries. …

… Abstract—In this paper we investigate a data-driven … of the data-driven approach are in
fact equivalent to those obtained through the model-based one. In other words, the data-driven …

… sound data driven algorithm for computing algebraic invariants. Specifically: – We provide a
data driven … In Section 5.1, we show a data-driven procedure to generate equivalent linear …

… The rise of data-driven applications is pushing the von Neumann architecture towards its
breaking point [1]. Mainly, due to the power-hungry and bandwidth-limited data transfer …

… In this paper we describe a semantic, data-driven approach to constructing product programs
for equivalence checking. From an alignment predicate we construct a trace alignment and …

… of model-checking and database/logic techniques. Our results suggest that the data-driven …
Section 2 introduces our formalism for specification of datadriven peers and compositions. …

… We study data-driven Web applications provided by Web sites interacting with users or
applications. The Web site can access an underlying database, as well as state information …