Looking into the Crystal Ball: From Transistors to the Smart Earth

Abstraction: reduce thenumber of items by aggre-gating objects and by elimi-nating unnecessary detailswith respect to the goal athand. h Refinement: proceed froman abstract representationof the design towards animplementation by addingdetails.Complexity has been also man-aged by ‘‘construction’’: by con-straining ‘‘artificially’’ the design space (i.e.,imposing regular layout, or synchronous designs),and starting high in the abstraction layers, it ispossibletodefineanumberofrefinementstepsthat go from the initial description to the finalimplementation that can be performed automat-ically with the use of sophisticated tools. Forexample, the digital design flow in use todaymarches from a high-level description of the func-tion to be performed using appropriate languagestowards a synchronous gate-level representationobtained by logic synthesis to a transistor layout,via automatic place and route made possible byrestricting the position of transistors in regularpatterns that are stored in appropriate, fully charac-terized libraries.Figure 4. Platform-based design.Figure 3. The V-diagram.Figure 5. The swarm as a platform (courtesy ofJan Rabaey).

[1]  Felix Wortmann,et al.  Internet of Things , 2015, Business & Information Systems Engineering.

[2]  Fatos Xhafa,et al.  Special issue on cyber physical systems , 2013, Computing.

[3]  Timothy S. Ham,et al.  Production of the antimalarial drug precursor artemisinic acid in engineered yeast , 2006, Nature.

[4]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[5]  J. Keasling,et al.  Microbial engineering for the production of advanced biofuels , 2012, Nature.

[6]  Alberto L. Sangiovanni-Vincentelli,et al.  Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design , 2007, Proceedings of the IEEE.

[7]  Anthony Rowe,et al.  The Swarm at the Edge of the Cloud , 2015, IEEE Design & Test.

[8]  K. Deisseroth,et al.  Millisecond-timescale, genetically targeted optical control of neural activity , 2005, Nature Neuroscience.

[9]  Cynthia Dwork,et al.  Calibrating Noise to Sensitivity in Private Data Analysis , 2006, TCC.

[10]  C. Stewart Testimony before the United States House of Representatives Committee on Science and Technology; Hearing on Leadership Under Challenge: Information Technology R&D in a Competitive World (2007 report of the President's Council of Advisors on Science and Technology) , 2008 .

[11]  Soha Hassoun,et al.  Design Automation for Synthetic Biological Systems , 2012, IEEE Design & Test of Computers.

[12]  Alberto L. Sangiovanni-Vincentelli,et al.  The Tides of EDA , 2003, IEEE Des. Test Comput..

[13]  Antonio Iannopollo,et al.  TAMING DR. FRANKENSTEIN: CONTRACT-BASED DESIGN FOR CYBER-PHYSICAL SYSTEMS , 2012 .