Inspec keywords: logic testing; hardware description languages; logic CAD

Other keywords: hardware accelerated simulation; design-verification language; IBM CoreConnect protocol; SystemVerilog; ARM AMBA bus; constrained random test generation; random value selection

Subjects: Computer-aided logic design; Formal methods; Electronic engineering computing; Computer-aided circuit analysis and design; Digital circuit design, modelling and testing