COMPUTER HARDWARE AND SOFTWARE FOR VERIFICATION OF HARDWARE, COMPUTER CHIPS, CIRCUIT BOARDS, AND INTEGRATED CIRCUITS; COMPUTER HARDWARE AND SOFTWARE FOR DESIGNING HARDWARE, COMPUTER CHIPS, CIRCUIT BOARDS, AND INTEGRATED CIRCUITS, AND FOR ELECTRONIC DESIGN AUTOMATION
Electrical and Scientific Apparatus