Rohit Sinha, Hiren D. Patel. Abstract state machines as an intermediate representation for high-level synthesis. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 1406-1411, IEEE, 2011. [doi]
Abstract is missing.