Understanding behavioral synthesis : a practical guide to high-level design - Elliott, John P. (Kluwer Academic Publishers, 1999)