Monday, April 11, 2011

Python tprint output

SKETCH now supports generating Python files from tprint output. This is useful for localizing synthesis; for example, extracting a read-write sequence from a concrete scan network, so that one can then synthesize a function for mapping the indices. For a simple example, consider the following sketch, that multiplies [1 .. 4] by a constant value.