Clock distribution design and verification for PowerPC microprocessors.

Shantanu Ganguly Shervin Hojat

Published in: ICCAD (1995)

Keyphrases

design process
case study
formal verification
knowledge based systems
website
computer architecture
neural network
information retrieval
artificial intelligence
search engine
software architecture
engineering design
personal computer
design tools
uniformly distributed