Syllabus Mecve
VLSI
Surviving the Design of a 200 MHz RISC Microprocessor - Veljko Milutinovic
4. Design Abstraction and Validation VLSI MEDC 104