Higher levels of a silicon compiler by Stok