5.1 SOLVING COVERING PROBLEMS5.2 STATE MINIMIZATION5.3 STATE ASSIGNMENT5.4 HAZARD-FREE TWO-LEVEL LOGIC SYNTHESIS5.5 EXTENSIONS FOR MIC OPERATION5.6 MULTILEVEL LOGIC SYNTHESIS5.7 TECHNOLOGY MAPPING5.8 GENERALIZED C-ELEMENT IMPLEMENTATION5.9 SEQUENTIAL HAZARDS5.10 SOURCESProblems