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 - Powerful register management tool that facilitates hardware/software interface collaboration for IPs and systems. |
 |
Spinner - Fully automated I/O fabric generator for ICs that eliminates I/O bugs from top-level IC integration. |