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