US11275568B2 - Generating a Synchronous Digital Circuit from a Source Code Construct Defining a Function Call