A Compositional Rule for Hardware Design Refinement
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Support vector machines for analog circuit performance representation
Proceedings of the 40th annual Design Automation Conference
Contract-Based Component System Design
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Mixed signal design space exploration through analog platforms
Proceedings of the 42nd annual Design Automation Conference
Design space exploration for a UMTS front-end exploiting analog platforms
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
A synthesis tool for power-efficient base-band filter design
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proofs of Networks of Processes
IEEE Transactions on Software Engineering
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Cyber-physical system design contracts
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
| Hi-index | 0.00 |
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use, and achieve optimal performances. However, in analog electronic systems, circuit behaviors are so tightly dependent on their interface conditions that accurate system performance estimations based on characterizations of individual stand-alone circuits is a hard task. Since there is no general solution to this problem, analog system integration has traditionally used ad-hoc solutions heavily dependent on designers' experience. In this paper, we build upon the analog platform-based design methodology by exploiting 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. loading and dynamic range) on the interface properties. Our approach allows automatic detection and composition of compatible components in a given library. We apply our methodology to an ultra-wide band receiver front-end to show that contracts allow pre-designed IP components to be smoothly integrated and design decisions to be reliably made at a higher abstraction level, both key factors to improve designer productivity.