Title: A static analysis of a synchronous transformer