Logic Modeling manufactured modelers for complex VLSI standard components and ASICs which were used in the design verification portion of the electronic design automation process.