The ACM Computing Classification System (1998) B.6 LOGIC DESIGN B.6.0 General B.6.1 Design Styles B.6.2 Reliability and Testing [**] (B.8) B.6.3 Design Aids B.6.m Miscellaneous