Our tools help the designer determine whether his design works as intended prior to actually manufacturing his product. For example, an incorrectly designed product manufactured correctly will not work. If you have designed a car without wheels, it is going to be a problem no matter how carefully you build it. We help to verify the design. IKOS provides verification tools in two broad categories, namely, hardware accelerated simulation and emulation.
Simulation is a software model of the design.
These high level languages are sophisticated enough such that the engineer s design can be described in English, albeit a very structured English, that represents what the circuit is supposed to do. The workstation then becomes a surrogate for the circuit and can be tested to see if the design works as intended. This is a very iterative process, of course, as the circuit undoubtedly has many errors in the early stages of the design. These software simulators, as they are called, have over time become too underpowered to simulate large designs and have been relegated to using on either small designs or parts of larger designs. Emulation Emulation is a hardware model of the design.