. "The assertion generation system 102 (as well as other components of the functional verification system 100) may, in one embodiment, be software implemented on one or more of any type of computer system, including servers, personal computers, workstations, mainframe computers, notebook or laptop computers, desktop computers, or the like." . . .