Some recent advances in software and hardware logic simulation

Logic simulation is a critical step in the design of a logic circuit. With the growing complexity of designs today, a large number of test vectors needs to be applied to the circuit to determine if the circuit behaves logically as it is supposed to. Not surprisingly, then, simulation is one of the major bottlenecks in the design process. Significant advances have been made in both software and hardware simulation. We survey some of the recent advances, with an emphasis on their main ideas.