LOGIC AND FUNCTIONAL VERIFICATION AT MOTOROLA

Abstract

Recently a Workshop on Logic and Functional Verification was held at Motorola. A survey (without proprietary information) of the Workshop will be presented. Simulation, emulation and formal verification methodologies will be discussed.