[IEEE Comput. Soc. Press IEEE International Conference on Computer Design: VLSI in Computers and Processors - Cambridge, MA, USA (14-16 Oct. 1991)] [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors - Illustration of the SFG-tracing multi-level behavioral verification methodology, by the correctness proof of a high to low level synthesis application in Cathedral-II