Socrates Integration Suite

Socrates is an eclipse-based framework that hosts a suite of tools for SoC integration. The framework encompasses a range of IC-domain capabilities that can be used by any or all of the tools in the Integration suite.

The Socrates framework is architected to support the main facets of a correct-by-construction flow, namely:

  • An integrated design environment that allows the user to switch between different views
  • A GUI framework that allows on-the-fly coherency checking for corrupted data
  • Standardized interfaces such as IP-XACT (tm)
  • An editable and extensible coherency checking mechanism
  • A complete generator framework that allows custom generators to be written without code recompile
  • IC domain capability such as HDL import, component and logic modeling and HDL generation

The following tools are components of the Socrates framework:

bitwise

Bitwise - Powerful register management tool that facilitates hardware/software interface collaboration for IPs and systems.

spinner Spinner - Fully automated I/O fabric generator for ICs that eliminates I/O bugs from top-level IC integration.