![](/img/cover-not-exists.png)
[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
Genoe, M., Claesen, L., Verlind, E., Proesmans, F., De Man, H.Year:
1991
Language:
english
DOI:
10.1109/iccd.1991.139913
File:
PDF, 477 KB
english, 1991