The ACM Computing Classification System (1991) B.5.2 Design Aids Automatic synthesis Hardware description languages Optimization Simulation Verification