Behavioral synthesis system, behavioral synthesis method, control program, readable… Grant US-7152218-B2 United States of America 19 Dec 2006