Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths.

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

Browse the full DAC paper archive.