Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

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.

REFERENCES

• 1: H. Chang, A. Sangiovanlli-Vincentelli, F. Balarin, E. Charbon, U. Choudhury, G. Jusuf, E. Liu, E. Malavasi, R. Neff, and P. Gray, "A top-down, constraint-driven design methodology for analog integrated circuits," Custom Integrated Circuits Conference, 1992., Proceedings of the IEEE 1992, pp. 8.4.1--8.4.6, May 1992.
• 2: Tom Eeckelaert , Trent McConaghy , Georges Gielen, Efficient Multiobjective Synthesis of Analog Circuits using Hierarchical Pareto-Optimal Performance Hypersurfaces, Proceedings of the conference on Design, Automation and Test in Europe, p.1070-1075, March 07-11, 2005 [doi>10.1109/DATE.2005.129]
• 3: F. De Bernardinis , P. Nuzzo , A. Sangiovanni Vincentelli, Mixed signal design space exploration through analog platforms, Proceedings of the 42nd annual Design Automation Conference, June 13-17, 2005, Anaheim, California, USA [doi>10.1145/1065579.1065808]
• 4: F. De Bernardinis , M. I. Jordan , A. Sangiovanni Vincentelli, Support vector machines for analog circuit performance representation, Proceedings of the 40th annual Design Automation Conference, June 02-06, 2003, Anaheim, CA, USA [doi>10.1145/775832.776074]
• 5: Y. Li, C.-C. Wu, A. Sangiovanni-Vincentelli, and J. Rabaey, "Design and optimization of an mb-ofdm ultra-wideband receiver front-end," in ICCSC '08 Proceedings, April 2008.
• 6: F. De Bernarclinis , S. Gambini , R. Vincis , F. Svelto, Design space exploration for a UMTS front-end exploiting analog platforms, Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design, p.923-930, November 07-11, 2004 [doi>10.1109/ICCAD.2004.1382708]
• 7: J. Misra , K. M. Chandy, Proofs of Networks of Processes, IEEE Transactions on Software Engineering, v.7 n.4, p.417-426, July 1981 [doi>10.1109/TSE.1981.230844]
• 8: Kenneth L. McMillan, A Compositional Rule for Hardware Design Refinement, Proceedings of the 9th International Conference on Computer Aided Verification, p.24-35, June 22-25, 1997
• 9: L. Benvenuti , A. Ferrari , E. Mazzi , A. L. Vincentelli, Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System, Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control, April 22-24, 2008, St. Louis, MO, USA [doi>10.1007/978-3-540-78929-1_5]
• 10: Holger Giese, Contract-Based Component System Design, Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8, p.8051, January 04-07, 2000
• 11: E. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol. 17, no. 12, pp. 1217--1229, Dec 1998.
• 12: V. Giannini , P. Nuzzo , F. De Bernardinis , J. Craninckx , B. Come , S. D'Amico , A. Baschirotto, A synthesis tool for power-efficient base-band filter design, Proceedings of the conference on Design, automation and test in Europe: Proceedings, March 06-10, 2006, Munich, Germany
• 13: L. Ingber, "Adaptive simulated annealing (asa): Lessons learned," Control and Cybernetics, vol. 25, pp. 33--54, 1996.

INDEX TERMS

Primary Classification:
  B. Hardware
  B.7 INTEGRATED CIRCUITS
      B.7.2 Design Aids

General Terms:
Design, Reliability, Theory

Keywords:
UWB, analog, assume-guarantee, composition, contract, integration, platform, platform-based design, radio-frequency, system