Provides verification and simulation services to companies involved in integrated circuit design. Includes information resource about modeling, theory and analysis, as well as a discussion forum.