A system composition method is proposed that build upon the analog platform-based design (APBD) methodology by exploiting assume-guarantee reasoning, contracts, to enforce correct-by-construction system-level composition. Contracts intuitively capture the thought process of a designer, who aims at guaranteeing circuit performance only under specific assumptions (e.g. interface loading or dynamic range). Contracts can be broadly classified into two categories: horizontal contracts between components of the same abstraction level and vertical contracts between a system at level l + 1 and the components that make up the system from level l. Horizontal contracts can be used to ensure that correct component behavior by constraining the external environment settings to be within the assumed range. Vertical contracts capture assumptions that system-level designers introduce by leveraging knowledge about the system architecture, which is not available at the component-level. Contracts can be naturally incorporated into the APBD design flow to ensure accurate design space explorations and correct design implementations.
The methodology is applied to several case studies to demonstrate the value of our approach. First, an ultra-wide band receiver front-end is composed using horizontal contracts to preserve the correct behavior of pre-designed IP components in composition and to allow design decisions to be reliably made at a higher abstraction level, both key factors to improve designer productivity. In another case study for composition of an analog feedback systems, the Sallen-Key cell, I show the application of both horizontal and vertical contracts so that the performance of a composition of circuit blocks not only preserves component behavior, but also satisfies system specifications and requirements. Finally, the methodology is applied to the complete design study of the UWB receiver chain for the Intelligent Tire System to demonstrate hierarchical design space exploration using analog contracts. The study shows that given a library of components, an optimized system can be quickly realized through hierarchical construction of subsystems and propagation of contracts. The works featured are seminal to further advancements in bridging the gap between system-level and circuit-level design in the analog/mixed-signal domain.