TRACIS: transformations on Ada for circuit synthesis a report on the methodology for a silicon compiler