Logic Synthesis and Verification of the CPU and Caches of a Mainframe System

Huy Nam Nguyen, J. P. Tual, L. Ducousso, M. Thill, P. Vallet. Logic Synthesis and Verification of the CPU and Caches of a Mainframe System. In Robert Werner, editor, EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28 - March 3, 1994, Paris, France. pages 60-64, IEEE Computer Society, 1994.

Authors

Huy Nam Nguyen

This author has not been identified. Look up 'Huy Nam Nguyen' in Google

J. P. Tual

This author has not been identified. Look up 'J. P. Tual' in Google

L. Ducousso

This author has not been identified. Look up 'L. Ducousso' in Google

M. Thill

This author has not been identified. Look up 'M. Thill' in Google

P. Vallet

This author has not been identified. Look up 'P. Vallet' in Google