One challenge faced by all control systems integrators (CSIs) is the prospect of testing their software before deployment. CSIs often work remotely, without having the actual equipment to manipulate, ...

Three methods for testing functional equivalence are currently available to designers — conventional simulation, cone-based equivalence checking, and symbolic simulation. Most designers are familiar ...