Spec-down methodology

Category:

The name SpectaReg is derived from specification-to-generation. Register-map specifications provide a contract between stakeholders from which interdisciplinary register views are generated. This single source approach eliminates register-map inconsistencies between specifications, software, hardware, verification, validation, and documentation. SpectaReg formally checks the specification to catch redundancies and ambiguities before they propagate to the implementation views where they are more costly to find. Tedious and error-prone code is automated and productivity is improved.