I don't want this to be an academic exercise. The goal is to have it be used by real engineers to solve real problems in the industry.

202

It's not a behavioral-synthesis tool, but it is more intelligent than just a translator.

152