Text this: High-Level Test synthesis of digial VLSI Circuits