|
LOGIC AND FUNCTIONAL VERIFICATION AT MOTOROLAAbstract
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.
|