index terms
Primary Classification: B. Hardware B.7 INTEGRATED CIRCUITS B.7.2 Design Aids Subjects: Verification
General Terms: Design, Performance, Theory, Verification