Nusym Technology, Inc. was a developer of an intelligent functional verification approach. This approach requires little change in current verification methodologies and takes advantage of testbenches and reference models. However, unlike other methods which treat the design as a blackbox, Nusym used design understanding to provide targeted test generation.