Overview
Octopus provides an umbrella for generic constraint satisfaction problem (CSP) activities within the Verification and Services Technologies (VST) department. Our solutions leverage two state-of-the-art software assets developed at VST: GEC, a systematic constraint solver implementing Maintain-Arc-Consistency algorithm; and Stocs, a stochastic constraint solver. Our department has massive and long-standing expertise in CSP algorithms and modeling. Our aim is to provide value to IBM through application of constraint solving to various domains and close interaction with the academic community.
More details can be found in "CSP for Stimuli Generation for Functional Hardware Verification".
Our current activities include:
