![](/img/cover-not-exists.png)
[IEEE Comput. Soc. Press [1992] The European Conference on Design Automation - Brussels, Belgium (16-19 March 1992)] [1992] Proceedings The European Conference on Design Automation - Automatic formal verification of Cathedral-II circuits from transistor switch level implementation up to high level behavioral specifications by the SFG-tracing methodology
Genoe, M., Claesen, L., Verlind, E., Proesmans, F., De Man, H.Year:
1992
Language:
english
DOI:
10.1109/edac.1992.205893
File:
PDF, 597 KB
english, 1992