The continuous scaling of electronic technologies has changed quite substantially the way integrated circuits and systems are designed. On the one hand, increased complexity calls for more powerful methods to execute the traditional CAD tasks, such as modeling, simulation, and optimization. On the other hand, new tools have become necessary to support design, as modern electronic systems differ significantly from devices of the “old times”, where the entire functionality was implemented as silicon resources. Hardware capabilities are complemented by software support, including low-level primitives and application-level services, in order to guarantee high-performance, low-power, and reliable operation of embedded systems that are at the core of most mobile and consumer electronics products.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K. Chen, J. Sztipanovits, S. Neem, Compositional Specification of Behavioral Semantics, DATE-07: IEEE Design Automation and Test in Europe, pp. 906–911, Nice, France, April 2007.
J. Sztipanovits, G. Karsai, Model-Integrated Computing, IEEE Computer, Vol. 30, No. 4, 110–112, April 1997.
K. Chen, J. Sztipanovits, S. Neem, Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages, EMSOFT-05: ACM International Conference on Embedded Software, pp. 35–44, Jersey City, NY, September 2005.
E. Boerger, R. Staerk, Abstract State Machines: A Method for High Level System Design and Analysis, Springer, 2003.
S. Wang, S. Birla, S. Neem, A Modeling Language for Vehicle Motion Control Behavioral Specification, International Workshop on Software Engineering for Automotive Systems, pp. 53–60, Shanghai, China, May 2006.
D. Estrin, R. Govindan, J. Heidemann, S. Kumar, Next Century Challenges: Scalable Coordination in Sensor Networks, MobiCom-99: Fifth Annual ACM International Conference on Mobile Computing and Networking, pp. 263–270, Seattle, WA, August 1999.
J. M. Rabaey, M. J. Ammer, J. L. da Silva ., D. Patel. S. Roundy, PicoRadio Supports Ad Hoc Ultra-Low Power Wireless Networking, IEEE Computer, Vol. 33, No. 7, 42–48, 2000.
W. Heinzelman, A. Sinha, A. Wang, A. Chandrakasann, Energy-Scalable Algorithms and Protocols for Wireless Microsensor Networks, ICASSP-00: IEEE International Conference on Acoustics, Speech, and Signal Processing, pp. 3722–3725, Istanbul, Turkey, June 2000.
A. Sinha, A. Chandrakasan, Dynamic Power Management in Wireless Sensor Networks, IEEE Design & Test of Computers, Vol. 18, No. 2, 62–74, March–April 2001.
B. Bougard, F. Catthoor, D. C. Daly, A. Chandrakasan, W. Dehaene, Energy Efficiency of the IEEE 802.15. 4 Standard in Dense Wireless Microsensor Networks: Modeling and Improvement Perspectives, DATE-05: IEEE Design Automation and Test in Europepp. 196–201, Munich, Germany, March 2005.
S. Borkar, Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, IEEE Micro, Vol. 25, No. 6, 10–16, November/December 2005.
A. Mutlu, M. Rahman, “Statistical Methods for the Estimation of Process Variation Effects on Circuit Operation”, IEEE Transactions on Electronics Packaging Manufacturing, Vol. 28, No. 4, 364–375, October 2005.
G. S. Fishman, A First Course in Monte Carlo, Duxbury Press, October 2005.
Amith Singhee, Rob A. Rutenbar, Statistical Blockade: A Novel Method for Very Fast Monte Carlo Simulation of Rare Circuit Events and its Application, DATE-07: IEEE Design Automation and Test in Europe, pp. 1379–1384, Nice, France, April 2007.
H. Mahmoodi, S. Mukhopadhyay, K. Roy, “Estimation of Delay Variations due to Random Dopant Fluctuations in Nanoscale CMOS Circuits”, IEEE Journal of Solid-State Circuits, Vol. 40, No. 9, 1787–1796, September 2005.
L. Benini, G. De Micheli, Dynamic Power Management of Circuits and Systems: Design Techniques and CAD Tools, Kluwer Academic 1997.
L. Benini, A. Bogliolo, G. De Micheli, A Survey of Design Techniques for System-Level Dynamic Power Management, IEEE Transactions on VLSI Systems, Vol. 8, No. 3, 299–316, June 2000.
M. B. Srivastava, A. P. Chandrakasan, R. W. Brodersen, Predictive System Shutdown and Other Architectural Techniques for Energy Efficient Programmable Computation, IEEE Transactions on VLSI Systems, Vol. 4, No. 1, 42–55, March 1996.
Z. Ren, B. H. Krogh, R. Marculescu, Hierarchical Adaptive Dynamic Power Management, IEEE Transactions on Computers, Vol. 54, No. 4, 409–420, April 2005.
L. Benini, G. Paleologo, A. Bogliolo, G. De Micheli, Policy Optimization for Dynamic Power Management, IEEE Transactions on Computer-Aided Design, Vol. 18, No. 6, 813–833, June 1999.
Q. Qiu, M. Pedram, Dynamic Power Management Based on Continuous-Time Markov Decision Processes, DAC-36: ACM/IEEE Design Automation Conference, pp. 555–561, New Orleans, LA, June 1999.
M. Horowitz, T. Indermaur, R. Gonzalez, Low Power Digital Design, IEEE Symposium on Low Power Electronics, pp. 8–11, San Diego, CA, October 1994.
L. Benini, R. Hodgson, P. Siegel, System-Level Power Estimation and Optimization, ISLPED-98: ACM/IEEE InternationalS Symposium on Low Power Electronics and Designpp. 173–178, Monterey, CA, August 1998.
Y. Lu, E. Y. Chung, T. Simunic, L. Benini, G. De Micheli, Quantitative Comparison of Power Management Algorithms, DATE-00: IEEE Design Automation and Test in Europe, pp. 20–26, Paris, France, March 2000.
E. Y. Chung, L. Benini, A. Bogiolo, G. De Micheli, Dynamic Power Management for Non-Stationary Service Requests, DATE-99: IEEE Design Automation and Test in Europe, pp. 77–81, Munich, Germany, March 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer
About this chapter
Cite this chapter
Macii, E. (2008). Modeling, Simulation and Run-Time Management. In: Lauwereins, R., Madsen, J. (eds) Design, Automation, and Test in Europe. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6488-3_14
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6488-3_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6487-6
Online ISBN: 978-1-4020-6488-3
eBook Packages: EngineeringEngineering (R0)