TY  - SER
AU  - Feig, Rami
AU  - Weiss, S.
TI  - Functional Verification of Instruction Processing Units Through Control Flow Modeling
KW  - Functional Verification
KW  - Coverage Measurement
KW  - Pipelines
ER  -