Search Results for Systems engineering. - Narrowed by: Computer aided design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509Computer$002baided$002bdesign.$002509Computer$002baided$002bdesign.$0026pe$003dd$00253A$0026ps$003d300? 2024-11-17T20:50:12Z Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems ent://SD_ILS/0/SD_ILS:173293 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Verhulst, Eric. author.&#160;Boute, Raymond T. author.&#160;Faria, Jos&eacute; Miguel Sampaio. author.&#160;Sputh, Bernhard H.C. author.&#160;Mezhuyev, Vitaliy. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9736-4">http://dx.doi.org/10.1007/978-1-4419-9736-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Analysis of Biomolecular Circuits Engineering Approaches to Systems and Synthetic Biology ent://SD_ILS/0/SD_ILS:172683 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Koeppl, Heinz. editor.&#160;Setti, Gianluca. editor.&#160;di Bernardo, Mario. editor.&#160;Densmore, Douglas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6766-4">http://dx.doi.org/10.1007/978-1-4419-6766-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Synthesis of Micro-/Nano-systems The 11th International Conference on Precision Engineering (ICPE) August 16&ndash;18, 2006, Tokyo, Japan ent://SD_ILS/0/SD_ILS:175453 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Kimura, Fumihiko. author.&#160;Horio, Kenichiro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-559-3">http://dx.doi.org/10.1007/1-84628-559-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> All-Embracing Manufacturing Roadmap System ent://SD_ILS/0/SD_ILS:206618 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Halevi, Gideon. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4180-5">http://dx.doi.org/10.1007/978-94-007-4180-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mixed Reality and Human-Robot Interaction ent://SD_ILS/0/SD_ILS:205884 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Wang, Xiangyu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0582-1">http://dx.doi.org/10.1007/978-94-007-0582-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Design in Virtual Environments ent://SD_ILS/0/SD_ILS:205891 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Wang, Xiangyu. editor.&#160;Tsai, Jerry Jen-Hung. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0605-7">http://dx.doi.org/10.1007/978-94-007-0605-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Millimeter-Wave Low Noise Amplifiers ent://SD_ILS/0/SD_ILS:400805 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bo&#382;ani&#263;, Mladen. author.&#160;Sinha, Saurabh. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69020-9">https://doi.org/10.1007/978-3-319-69020-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Optical Interconnect Architectures for Embedded Systems ent://SD_ILS/0/SD_ILS:330817 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;O'Connor, Ian. editor.&#160;Nicolescu, Gabriela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330817.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6193-8">http://dx.doi.org/10.1007/978-1-4419-6193-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Radar Sensors in Silicon Technologies ent://SD_ILS/0/SD_ILS:330821 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Jain, Vipul. author.&#160;Heydari, Payam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330821.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6775-6">http://dx.doi.org/10.1007/978-1-4419-6775-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptable Embedded Systems ent://SD_ILS/0/SD_ILS:331281 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Beck, Antonio Carlos Schneider. editor.&#160;Lang Lisb&ocirc;a, Carlos Arthur. editor.&#160;Carro, Luigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331281.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1746-0">http://dx.doi.org/10.1007/978-1-4614-1746-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield ent://SD_ILS/0/SD_ILS:331282 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Abu-Rahma, Mohamed H. author.&#160;Anis, Mohab. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331282.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1749-1">http://dx.doi.org/10.1007/978-1-4614-1749-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio/CMOS Interfaces and Co-Design ent://SD_ILS/0/SD_ILS:331564 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Carrara, Sandro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331564.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4690-3">http://dx.doi.org/10.1007/978-1-4614-4690-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Variations and Probabilistic Integrated Circuit Design ent://SD_ILS/0/SD_ILS:172645 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Dietrich, Manfred. editor.&#160;Haase, Joachim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6621-6">http://dx.doi.org/10.1007/978-1-4419-6621-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Heterogeneous Multicore Processor Technologies for Embedded Systems ent://SD_ILS/0/SD_ILS:173639 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Uchiyama, Kunio. author.&#160;Arakawa, Fumio. author.&#160;Kasahara, Hironori. author.&#160;Nojiri, Tohru. author.&#160;Noda, Hideyuki. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0284-8">http://dx.doi.org/10.1007/978-1-4614-0284-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ultra High-Speed CMOS Circuits Beyond 100 GHz ent://SD_ILS/0/SD_ILS:173645 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Gharavi, Sam. author.&#160;Heydari, Babak. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0305-0">http://dx.doi.org/10.1007/978-1-4614-0305-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding and Using the Controller Area Network Communication Protocol Theory and Practice ent://SD_ILS/0/SD_ILS:173647 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Di Natale, Marco. author.&#160;Zeng, Haibo. author.&#160;Giusto, Paolo. author.&#160;Ghosal, Arkadeb. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0314-2">http://dx.doi.org/10.1007/978-1-4614-0314-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Error Control for Network-on-Chip Links ent://SD_ILS/0/SD_ILS:173178 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Fu, Bo. author.&#160;Ampadu, Paul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9313-7">http://dx.doi.org/10.1007/978-1-4419-9313-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 3D TCAD Simulation for Semiconductor Processes, Devices and Optoelectronics ent://SD_ILS/0/SD_ILS:173698 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Li, Simon. author.&#160;Fu, Yue. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0481-1">http://dx.doi.org/10.1007/978-1-4614-0481-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SystemVerilog for Verification A Guide to Learning the Testbench Language Features ent://SD_ILS/0/SD_ILS:173762 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Spear, Chris. author.&#160;Tumbush, Greg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0715-7">http://dx.doi.org/10.1007/978-1-4614-0715-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Configuration Problem Solving ent://SD_ILS/0/SD_ILS:174403 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Petrie, Charles J.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The MPEG Representation of Digital Media ent://SD_ILS/0/SD_ILS:172525 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Chiariglione, Leonardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6184-6">http://dx.doi.org/10.1007/978-1-4419-6184-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Multi-core Architectures Design Methodologies and Tools ent://SD_ILS/0/SD_ILS:172684 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Soudris, Dimitrios. editor.&#160;Jantsch, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6778-7">http://dx.doi.org/10.1007/978-1-4419-6778-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed, Embedded and Real-time Java Systems ent://SD_ILS/0/SD_ILS:173076 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Higuera-Toledano, M. Teresa. editor.&#160;Wellings, Andy J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8158-5">http://dx.doi.org/10.1007/978-1-4419-8158-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio ent://SD_ILS/0/SD_ILS:173574 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Morgado, Alonso. author.&#160;del R&iacute;o, Roc&iacute;o. author.&#160;Rosa, Jos&eacute; M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0037-0">http://dx.doi.org/10.1007/978-1-4614-0037-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs ent://SD_ILS/0/SD_ILS:173778 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Shen, Ruijing. author.&#160;Tan, Sheldon X.-D. author.&#160;Yu, Hao. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0788-1">http://dx.doi.org/10.1007/978-1-4614-0788-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability, Availability and Serviceability of Networks-on-Chip ent://SD_ILS/0/SD_ILS:173779 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Cota, &Eacute;rika. author.&#160;Morais Amory, Alexandre. author.&#160;Soares Lubaszewski, Marcelo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0791-1">http://dx.doi.org/10.1007/978-1-4614-0791-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low Power Design with High-Level Power Estimation and Power-Aware Synthesis ent://SD_ILS/0/SD_ILS:173796 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Ahuja, Sumit. author.&#160;Lakshminarayana, Avinash. author.&#160;Shukla, Sandeep Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0872-7">http://dx.doi.org/10.1007/978-1-4614-0872-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiprocessor System-on-Chip Hardware Design and Tool Integration ent://SD_ILS/0/SD_ILS:172601 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;H&uuml;bner, Michael. editor.&#160;Becker, J&uuml;rgen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6460-1">http://dx.doi.org/10.1007/978-1-4419-6460-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Focal-Plane Sensor-Processor Chips ent://SD_ILS/0/SD_ILS:172606 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Zar&aacute;ndy, &Aacute;kos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6475-5">http://dx.doi.org/10.1007/978-1-4419-6475-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design of Image Processing Embedded Systems Using Multidimensional Data Flow ent://SD_ILS/0/SD_ILS:172796 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Keinert, Joachim. author.&#160;Teich, J&uuml;rgen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7182-1">http://dx.doi.org/10.1007/978-1-4419-7182-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ultra-thin Chip Technology and Applications ent://SD_ILS/0/SD_ILS:172825 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Burghartz, Joachim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7276-7">http://dx.doi.org/10.1007/978-1-4419-7276-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Power Variation-Tolerant Design in Nanometer Silicon ent://SD_ILS/0/SD_ILS:172871 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bhunia, Swarup. editor.&#160;Mukhopadhyay, Saibal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7418-1">http://dx.doi.org/10.1007/978-1-4419-7418-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Mixed-Signal, Embedded Design ent://SD_ILS/0/SD_ILS:172879 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Doboli, Alex. author.&#160;Currie, Edward H. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7446-4">http://dx.doi.org/10.1007/978-1-4419-7446-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Techniques in Logic Synthesis, Optimizations and Applications ent://SD_ILS/0/SD_ILS:172897 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Gulati, Kanupriya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7518-8">http://dx.doi.org/10.1007/978-1-4419-7518-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Connectivity and Embedded Sensory Systems ent://SD_ILS/0/SD_ILS:172906 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Spaanenburg, Lambert. author.&#160;Spaanenburg, Hendrik. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7545-4">http://dx.doi.org/10.1007/978-1-4419-7545-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Voltage Regulators for Next Generation Microprocessors ent://SD_ILS/0/SD_ILS:172910 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;L&oacute;pez, Toni. author.&#160;Elferich, Reinhold. author.&#160;Alarc&oacute;n, Eduard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7560-7">http://dx.doi.org/10.1007/978-1-4419-7560-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On-Chip Instrumentation Design and Debug for Systems on Chip ent://SD_ILS/0/SD_ILS:172911 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Stollon, Neal. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7563-8">http://dx.doi.org/10.1007/978-1-4419-7563-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Harvesting Systems Principles, Modeling and Applications ent://SD_ILS/0/SD_ILS:172912 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Ka&#378;mierski, Tom J. editor.&#160;Beeby, Steve. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7566-9">http://dx.doi.org/10.1007/978-1-4419-7566-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications ent://SD_ILS/0/SD_ILS:172922 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Battezzati, Niccol&ograve;. author.&#160;Sterpone, Luca. author.&#160;Violante, Massimo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7595-9">http://dx.doi.org/10.1007/978-1-4419-7595-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CMOS Circuits for Passive Wireless Microsystems ent://SD_ILS/0/SD_ILS:172947 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Yuan, Fei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7680-2">http://dx.doi.org/10.1007/978-1-4419-7680-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of VLSI RTL Design A Practical Guide ent://SD_ILS/0/SD_ILS:173173 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Churiwala, Sanjay. author.&#160;Garg, Sapan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9296-3">http://dx.doi.org/10.1007/978-1-4419-9296-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Level Verification Methods and Tools for Verification of System-Level Designs ent://SD_ILS/0/SD_ILS:173187 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Kundu, Sudipta. author.&#160;Lerner, Sorin. author.&#160;Gupta, Rajesh K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9359-5">http://dx.doi.org/10.1007/978-1-4419-9359-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Many-Core Chips ent://SD_ILS/0/SD_ILS:173294 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Vajda, Andr&aacute;s. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9739-5">http://dx.doi.org/10.1007/978-1-4419-9739-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI Physical Design: From Graph Partitioning to Timing Closure ent://SD_ILS/0/SD_ILS:205534 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Kahng, Andrew B. author.&#160;Lienig, Jens. author.&#160;Markov, Igor L. author.&#160;Hu, Jin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9591-6">http://dx.doi.org/10.1007/978-90-481-9591-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration ent://SD_ILS/0/SD_ILS:205572 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Zjajo, Amir. author.&#160;Pineda de Gyvez, Jos&eacute;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9725-5">http://dx.doi.org/10.1007/978-90-481-9725-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits ent://SD_ILS/0/SD_ILS:205904 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Ben Jamaa, M. Haykel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0650-7">http://dx.doi.org/10.1007/978-94-007-0650-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability of Nanoscale Circuits and Systems Methodologies and Circuit Architectures ent://SD_ILS/0/SD_ILS:172530 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Stanisavljevi&#263;, Milo&scaron;. author.&#160;Schmid, Alexandre. author.&#160;Leblebici, Yusuf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6217-1">http://dx.doi.org/10.1007/978-1-4419-6217-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances ent://SD_ILS/0/SD_ILS:172672 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Kanekawa, Nobuyasu. author.&#160;Ibe, Eishi H. author.&#160;Suga, Takashi. author.&#160;Uematsu, Yutaka. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6715-2">http://dx.doi.org/10.1007/978-1-4419-6715-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces ent://SD_ILS/0/SD_ILS:172674 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Holleman, Jeremy. author.&#160;Zhang, Fan. author.&#160;Otis, Brian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6727-5">http://dx.doi.org/10.1007/978-1-4419-6727-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On-Chip Interconnect with aelite Composable and Predictable Systems ent://SD_ILS/0/SD_ILS:172707 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Hansson, Andreas. author.&#160;Goossens, Kees. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6865-4">http://dx.doi.org/10.1007/978-1-4419-6865-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low Power Networks-on-Chip ent://SD_ILS/0/SD_ILS:172720 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Silvano, Cristina. editor.&#160;Lajolo, Marcello. editor.&#160;Palermo, Gianluca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6911-8">http://dx.doi.org/10.1007/978-1-4419-6911-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analog Layout Synthesis A Survey of Topological Approaches ent://SD_ILS/0/SD_ILS:172725 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Graeb, Helmut E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6932-3">http://dx.doi.org/10.1007/978-1-4419-6932-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wearable Monitoring Systems ent://SD_ILS/0/SD_ILS:172860 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bonfiglio, Annalisa. editor.&#160;De Rossi, Danilo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7384-9">http://dx.doi.org/10.1007/978-1-4419-7384-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Run-time Adaptation for Reconfigurable Embedded Processors ent://SD_ILS/0/SD_ILS:172869 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bauer, Lars. author.&#160;Henkel, J&ouml;rg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7412-9">http://dx.doi.org/10.1007/978-1-4419-7412-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanoscale Memory Repair ent://SD_ILS/0/SD_ILS:173027 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Horiguchi, Masashi. author.&#160;Itoh, Kiyoo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7958-2">http://dx.doi.org/10.1007/978-1-4419-7958-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Post-Silicon and Runtime Verification for Modern Processors ent://SD_ILS/0/SD_ILS:173049 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Wagner, Ilya. author.&#160;Bertacco, Valeria. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8034-2">http://dx.doi.org/10.1007/978-1-4419-8034-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Memory-Based Logic Synthesis ent://SD_ILS/0/SD_ILS:173066 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Sasao, Tsutomu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8104-2">http://dx.doi.org/10.1007/978-1-4419-8104-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio ent://SD_ILS/0/SD_ILS:173150 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Okada, Kenichi. editor.&#160;Kousai, Shouhei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8514-9">http://dx.doi.org/10.1007/978-1-4419-8514-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Simple Art of SoC Design Closing the Gap between RTL and ESL ent://SD_ILS/0/SD_ILS:173152 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Keating, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8586-6">http://dx.doi.org/10.1007/978-1-4419-8586-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach ent://SD_ILS/0/SD_ILS:173167 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Silvano, Cristina. editor.&#160;Fornaciari, William. editor.&#160;Villar, Eugenio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8837-9">http://dx.doi.org/10.1007/978-1-4419-8837-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nano-Electronic Devices Semiclassical and Quantum Transport Modeling ent://SD_ILS/0/SD_ILS:173168 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Vasileska, Dragica. editor.&#160;Goodnick, Stephen M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8840-9">http://dx.doi.org/10.1007/978-1-4419-8840-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing From FPGAs to Hardware/Software Codesign ent://SD_ILS/0/SD_ILS:173582 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Cardoso, Jo&atilde;o M. P. editor.&#160;H&uuml;bner, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0061-5">http://dx.doi.org/10.1007/978-1-4614-0061-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> C Compilers for ASIPs Automatic Compiler Generation with LISA ent://SD_ILS/0/SD_ILS:172172 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Hohenauer, Manuel. author.&#160;Leupers, Rainer. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-1176-6">http://dx.doi.org/10.1007/978-1-4419-1176-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Techniques for Formal Verification ent://SD_ILS/0/SD_ILS:172480 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Ray, Sandip. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-5998-0">http://dx.doi.org/10.1007/978-1-4419-5998-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Practical Introduction to Hardware/Software Codesign ent://SD_ILS/0/SD_ILS:172481 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Schaumont, Patrick R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6000-9">http://dx.doi.org/10.1007/978-1-4419-6000-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power-efficient System Design ent://SD_ILS/0/SD_ILS:172582 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Panda, Preeti Ranjan. author.&#160;Silpa, B. V. N. author.&#160;Shrivastava, Aviral. author.&#160;Gummidipudi, Krishnaiah. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6388-8">http://dx.doi.org/10.1007/978-1-4419-6388-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction ent://SD_ILS/0/SD_ILS:172585 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Shukla, Sandeep K. editor.&#160;Talpin, Jean-Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6400-7">http://dx.doi.org/10.1007/978-1-4419-6400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits ent://SD_ILS/0/SD_ILS:172607 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Tajalli, Armin. author.&#160;Leblebici, Yusuf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6478-6">http://dx.doi.org/10.1007/978-1-4419-6478-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications ent://SD_ILS/0/SD_ILS:172608 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Singh, Gaurav. author.&#160;Shukla, Sandeep K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6481-6">http://dx.doi.org/10.1007/978-1-4419-6481-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use ent://SD_ILS/0/SD_ILS:176174 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Langdon, Patrick Martin. editor.&#160;Clarkson, Peter John. editor.&#160;Robinson, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-166-0">http://dx.doi.org/10.1007/978-1-84996-166-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SystemC: From the Ground Up ent://SD_ILS/0/SD_ILS:166754 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Black, David C. author.&#160;Donovan, Jack. author.&#160;Bunton, Bill. author.&#160;Keist, Anna. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-69958-5">http://dx.doi.org/10.1007/978-0-387-69958-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring ent://SD_ILS/0/SD_ILS:172052 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Kuon, Ian. author.&#160;Rose, Jonathan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0739-4">http://dx.doi.org/10.1007/978-1-4419-0739-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power-Aware Testing and Test Strategies for Low Power Devices ent://SD_ILS/0/SD_ILS:172100 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Girard, Patrick. editor.&#160;Nicolici, Nicola. editor.&#160;Wen, Xiaoqing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0928-2">http://dx.doi.org/10.1007/978-1-4419-0928-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations ent://SD_ILS/0/SD_ILS:172101 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Garg, Rajesh. author.&#160;Khatri, Sunil P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0931-2">http://dx.doi.org/10.1007/978-1-4419-0931-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies ent://SD_ILS/0/SD_ILS:172103 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bosio, Alberto. author.&#160;Dilillo, Luigi. author.&#160;Girard, Patrick. author.&#160;Pravossoudovitch, Serge. author.&#160;Virazel, Arnaud. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0938-1">http://dx.doi.org/10.1007/978-1-4419-0938-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification ent://SD_ILS/0/SD_ILS:172104 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Gamatie, Abdoulaye. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0941-1">http://dx.doi.org/10.1007/978-1-4419-0941-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs ent://SD_ILS/0/SD_ILS:172105 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Gulati, Kanupriya. author.&#160;Khatri, Sunil P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0944-2">http://dx.doi.org/10.1007/978-1-4419-0944-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On and Off-Chip Crosstalk Avoidance in VLSI Design ent://SD_ILS/0/SD_ILS:172106 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Duan, Chunjie. author.&#160;LaMeres, Brock J. author.&#160;Khatri, Sunil P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0947-3">http://dx.doi.org/10.1007/978-1-4419-0947-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Minimizing and Exploiting Leakage in VLSI Design ent://SD_ILS/0/SD_ILS:172107 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Jayakumar, Nikhil. author.&#160;Paul, Suganth. author.&#160;Garg, Rajesh. author.&#160;Gulati, Kanupriya. author.&#160;Khatri, Sunil P. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0950-3">http://dx.doi.org/10.1007/978-1-4419-0950-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip ent://SD_ILS/0/SD_ILS:172109 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Lin, Youn-Long Steve. author.&#160;Kao, Chao-Yang. author.&#160;Kuo, Hung-Chih. author.&#160;Chen, Jian-Wen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0959-6">http://dx.doi.org/10.1007/978-1-4419-0959-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ESL Models and their Application Electronic System Level Design and Verification in Practice ent://SD_ILS/0/SD_ILS:172111 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bailey, Brian. author.&#160;Martin, Grant. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0965-7">http://dx.doi.org/10.1007/978-1-4419-0965-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies ent://SD_ILS/0/SD_ILS:172367 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Popovici, Katalin. author.&#160;Rousseau, Fr&eacute;d&eacute;ric. author.&#160;Jerraya, Ahmed A. author.&#160;Wolf, Marilyn. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-5567-8">http://dx.doi.org/10.1007/978-1-4419-5567-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Processor and System-on-Chip Simulation ent://SD_ILS/0/SD_ILS:172523 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Leupers, Rainer. editor.&#160;Temam, Olivier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6175-4">http://dx.doi.org/10.1007/978-1-4419-6175-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FPGA Design Best Practices for Team-based Design ent://SD_ILS/0/SD_ILS:172568 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Simpson, Philip. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6339-0">http://dx.doi.org/10.1007/978-1-4419-6339-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Automatic Tuning From Concepts to State-of-the-Art Results ent://SD_ILS/0/SD_ILS:172726 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Naono, Ken. editor.&#160;Teranishi, Keita. editor.&#160;Cavazos, John. editor.&#160;Suda, Reiji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6935-4">http://dx.doi.org/10.1007/978-1-4419-6935-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security in Embedded Devices ent://SD_ILS/0/SD_ILS:172275 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Gebotys, Catherine H. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-1530-6">http://dx.doi.org/10.1007/978-1-4419-1530-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Verification of Microprocessor Systems for High-Assurance Applications ent://SD_ILS/0/SD_ILS:172277 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Hardin, David S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-1539-9">http://dx.doi.org/10.1007/978-1-4419-1539-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Embedded System Design Using Field Programmable Gate Arrays ent://SD_ILS/0/SD_ILS:175875 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Dubey, Rahul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-016-6">http://dx.doi.org/10.1007/978-1-84882-016-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Predictive Control System Design and Implementation Using MATLAB&reg; ent://SD_ILS/0/SD_ILS:175953 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Wang, Liuping. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-331-0">http://dx.doi.org/10.1007/978-1-84882-331-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Carbon Nanotube Electronics ent://SD_ILS/0/SD_ILS:166719 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Kong, Jing. editor.&#160;Javey, Ali. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-69285-2">http://dx.doi.org/10.1007/978-0-387-69285-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Timing Optimization Through Clock Skew Scheduling ent://SD_ILS/0/SD_ILS:166801 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Kourtev, Ivan S. editor.&#160;Taskin, Baris. editor.&#160;Friedman, Eby G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-71056-3">http://dx.doi.org/10.1007/978-0-387-71056-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Timing Analysis for Nanometer Designs A Practical Approach ent://SD_ILS/0/SD_ILS:168035 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Chadha, Rakesh. author.&#160;Bhasker, J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-93820-2">http://dx.doi.org/10.1007/978-0-387-93820-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen ent://SD_ILS/0/SD_ILS:189632 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Tiegelkamp, Michael. author.&#160;John, Karl Heinz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00269-4">http://dx.doi.org/10.1007/978-3-642-00269-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair ent://SD_ILS/0/SD_ILS:170513 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Chang, Kai-hui. author.&#160;Markov, Igor L. author.&#160;Bertacco, Valeria. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9365-4">http://dx.doi.org/10.1007/978-1-4020-9365-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Software Co-Design of a Multimedia SOC Platform ent://SD_ILS/0/SD_ILS:170593 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Chen, Sao-Jie. author.&#160;Lin, Guang-Huei. author.&#160;Hsiung, Pao-Ann. author.&#160;Hu, Yu-Hen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanosystems Design and Technology ent://SD_ILS/0/SD_ILS:171913 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Micheli, Giovanni. author.&#160;Leblebici, Yusuf. author.&#160;Gijs, Martin. author.&#160;V&ouml;r&ouml;s, Janos. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0255-9">http://dx.doi.org/10.1007/978-1-4419-0255-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Clocking in Modern VLSI Systems ent://SD_ILS/0/SD_ILS:171914 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Xanthopoulos, Thucydides. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0261-0">http://dx.doi.org/10.1007/978-1-4419-0261-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Verification Methodology Cookbook ent://SD_ILS/0/SD_ILS:172112 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Glasser, Mark. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0968-8">http://dx.doi.org/10.1007/978-1-4419-0968-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded System Design Modeling, Synthesis and Verification ent://SD_ILS/0/SD_ILS:171981 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Gajski, Daniel D. author.&#160;Abdi, Samar. author.&#160;Gerstlauer, Andreas. author.&#160;Schirner, Gunar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0504-8">http://dx.doi.org/10.1007/978-1-4419-0504-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creating Assertion-Based IP ent://SD_ILS/0/SD_ILS:166578 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Foster, Harry D. author.&#160;Krolnik, Adam C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68398-0">http://dx.doi.org/10.1007/978-0-387-68398-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power Distribution Networks with On-Chip Decoupling Capacitors ent://SD_ILS/0/SD_ILS:166853 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Popovich, Mikhhail. author.&#160;Mezhiba, Andrey V. author.&#160;Friedman, Eby G. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-71601-5">http://dx.doi.org/10.1007/978-0-387-71601-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Standardized Functional Verification ent://SD_ILS/0/SD_ILS:166868 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Wiemann, Alan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-71733-3">http://dx.doi.org/10.1007/978-0-387-71733-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanometer Technology Designs High-Quality Delay Tests ent://SD_ILS/0/SD_ILS:167292 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Tehranipoor, Mohammad. author.&#160;Ahmed, Nisar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-75728-5">http://dx.doi.org/10.1007/978-0-387-75728-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Power High-Level Synthesis for Nanoscale CMOS Circuits ent://SD_ILS/0/SD_ILS:167341 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Patra, Priyardarsan. author.&#160;Kougianos, Elias. author.&#160;Ranganathan, Nagarajan. author.&#160;Mohanty, Saraju P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-76474-0">http://dx.doi.org/10.1007/978-0-387-76474-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CMOS Active Inductors and Transformers Principle, Implementation, and Applications ent://SD_ILS/0/SD_ILS:167343 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Yuan, Fei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-76479-5">http://dx.doi.org/10.1007/978-0-387-76479-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Verilog for Verification A Guide to Learning the Testbench Language Features ent://SD_ILS/0/SD_ILS:167358 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Spear, Chris. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-76530-3">http://dx.doi.org/10.1007/978-0-387-76530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design for Manufacturability and Statistical Design A Constructive Approach ent://SD_ILS/0/SD_ILS:166681 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Orshansky, Michael. author.&#160;Nassif, Sani R. author.&#160;Boning, Duane. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-69011-7">http://dx.doi.org/10.1007/978-0-387-69011-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid Prototyping of Digital Systems ent://SD_ILS/0/SD_ILS:166970 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Hamblen, James O. author.&#160;Hall, Tyson S. author.&#160;Furman, Michael D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-72671-7">http://dx.doi.org/10.1007/978-0-387-72671-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Verification Coverage Measurement and Analysis ent://SD_ILS/0/SD_ILS:170041 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Piziali, Andrew. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117979">http://dx.doi.org/10.1007/b117979</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components ent://SD_ILS/0/SD_ILS:169706 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Nicolescu, G. editor.&#160;Jerraya, A. A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Full-Chip Nanometer Routing Techniques ent://SD_ILS/0/SD_ILS:169715 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Ho, Tsung-Yi. author.&#160;Chang, Yao-Wen. author.&#160;Chen, Sao-Jie. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6195-0">http://dx.doi.org/10.1007/978-1-4020-6195-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ent://SD_ILS/0/SD_ILS:169768 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Ma, Zhe. editor.&#160;Marchal, Pol. editor.&#160;Scarpazza, Daniele Paolo. editor.&#160;Yang, Peng. editor.&#160;Wong, Chun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6344-2">http://dx.doi.org/10.1007/978-1-4020-6344-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamics of Microelectromechanical Systems ent://SD_ILS/0/SD_ILS:166554 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Lobontiu, Nicolae. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68195-5">http://dx.doi.org/10.1007/978-0-387-68195-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Closing the Power Gap Between ASIC &amp; Custom Tools and Techniques for Low Power Design ent://SD_ILS/0/SD_ILS:166665 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Chinnery, David. author.&#160;Keutzer, Kurt. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68953-1">http://dx.doi.org/10.1007/978-0-387-68953-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them ent://SD_ILS/0/SD_ILS:166862 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Sutherland, Stuart. author.&#160;Mills, Don. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-71715-9">http://dx.doi.org/10.1007/978-0-387-71715-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Verification with SystemVerilog An Object-Oriented Framework ent://SD_ILS/0/SD_ILS:166869 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Mintz, Mike. author.&#160;Ekendahl, Robert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-71740-1">http://dx.doi.org/10.1007/978-0-387-71740-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inverse Problems in Electric Circuits and Electromagnetics ent://SD_ILS/0/SD_ILS:166321 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Chechurin, V. L. author.&#160;Korovkin, N. V. author.&#160;Hayakawa, M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-46047-5">http://dx.doi.org/10.1007/978-0-387-46047-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CMOS Current-Mode Circuits for Data Communications ent://SD_ILS/0/SD_ILS:166387 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Yuan, Fei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-47691-9">http://dx.doi.org/10.1007/978-0-387-47691-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Routing Congestion in VLSI Circuits: Estimation and Optimization ent://SD_ILS/0/SD_ILS:166413 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Saxena, Prashant. author.&#160;Shelar, Rupesh S. author.&#160;Sapatnekar, Sachin S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-48550-3">http://dx.doi.org/10.1007/0-387-48550-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SAT-Based Scalable Formal Verification Solutions ent://SD_ILS/0/SD_ILS:166702 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Ganai, Malay K. author.&#160;Gupta, Aarti. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-69167-1">http://dx.doi.org/10.1007/978-0-387-69167-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design for Manufacturability and Yield for Nano-Scale CMOS ent://SD_ILS/0/SD_ILS:169402 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Chiang, Charles C. author.&#160;Kawa, Jamil. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5188-3">http://dx.doi.org/10.1007/978-1-4020-5188-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Layoutsynthese elektronischer Schaltungen &mdash; Grundlegende Algorithmen f&uuml;r die Entwurfsautomatisierung ent://SD_ILS/0/SD_ILS:182190 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Lienig, Jens. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29942-4">http://dx.doi.org/10.1007/3-540-29942-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity ent://SD_ILS/0/SD_ILS:165020 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Leventhal, Roy G. author.&#160;Green, Lynne. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104647">http://dx.doi.org/10.1007/b104647</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid Prototyping of Digital Systems ent://SD_ILS/0/SD_ILS:165587 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Hamblen, James O. author.&#160;Hall, Tyson S. author.&#160;Furman, Michael D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28965-8">http://dx.doi.org/10.1007/0-387-28965-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interconnect Noise Optimization in Nanometer Technologies ent://SD_ILS/0/SD_ILS:165637 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Elgamel, Mohamed A. author.&#160;Bayoumi, Magdy A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-29366-3">http://dx.doi.org/10.1007/0-387-29366-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Thermal and Power Management of Integrated Circuits ent://SD_ILS/0/SD_ILS:165670 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Vassighi, Arman. author.&#160;Sachdev, Manoj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-29749-9">http://dx.doi.org/10.1007/0-387-29749-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Hardware Verification with Symbolic Simulation ent://SD_ILS/0/SD_ILS:165683 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bertacco, Valeria. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-29906-8">http://dx.doi.org/10.1007/0-387-29906-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded System Design ent://SD_ILS/0/SD_ILS:165694 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Marwedel, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-30087-2">http://dx.doi.org/10.1007/0-387-30087-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Writing Testbenches using System Verilog ent://SD_ILS/0/SD_ILS:165809 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bergeron, Janick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31275-7">http://dx.doi.org/10.1007/0-387-31275-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constraint-Based Verification ent://SD_ILS/0/SD_ILS:165761 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Yuan, Jun. author.&#160;Pixley, Carl. author.&#160;Aziz, Adnan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-30784-2">http://dx.doi.org/10.1007/0-387-30784-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstraction Refinement for Large Scale Model Checking ent://SD_ILS/0/SD_ILS:166047 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Wang, Chao. author.&#160;Hachtel, Gary D. author.&#160;Somenzi, Fabio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-34600-7">http://dx.doi.org/10.1007/0-387-34600-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500&trade; ent://SD_ILS/0/SD_ILS:166049 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Silva, Francisco. author.&#160;McLaurin, Teresa. author.&#160;Waayers, Tom. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-34609-0">http://dx.doi.org/10.1007/0-387-34609-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification Methodology Manual for SystemVerilog ent://SD_ILS/0/SD_ILS:165150 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bergeron, Janick. author.&#160;Cerny, Eduard. author.&#160;Hunter, Alan. author.&#160;Nightingale, Andrew. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135575">http://dx.doi.org/10.1007/b135575</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility ent://SD_ILS/0/SD_ILS:165289 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Ben Dhia, Sonia. editor.&#160;Ramdani, Mohamed. editor.&#160;Sicard, Etienne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137864">http://dx.doi.org/10.1007/b137864</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systemverilog for Verification A Guide to Learning the Testbench Language Features ent://SD_ILS/0/SD_ILS:165314 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Spear, Chris. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138536">http://dx.doi.org/10.1007/b138536</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leakage in Nanometer CMOS Technologies ent://SD_ILS/0/SD_ILS:165474 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Narendra, Siva G. author.&#160;Chandrakasan, Anantha. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28133-9">http://dx.doi.org/10.1007/0-387-28133-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Practical Introduction to PSL ent://SD_ILS/0/SD_ILS:166138 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Eisner, Cindy. author.&#160;Fisman, Dana. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-36123-9">http://dx.doi.org/10.1007/978-0-387-36123-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Verification with C++ A Practitioner&rsquo;s Handbook ent://SD_ILS/0/SD_ILS:166141 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Mintz, Mike. author.&#160;Ekendahl, Robert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-36254-0">http://dx.doi.org/10.1007/978-0-387-36254-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling ent://SD_ILS/0/SD_ILS:166152 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Sutherland, Stuart. author.&#160;Davidmann, Simon. author.&#160;Flake, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-36495-1">http://dx.doi.org/10.1007/0-387-36495-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Roadmap for Formal Property Verification ent://SD_ILS/0/SD_ILS:169271 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;DasGupta, Pallab. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms ent://SD_ILS/0/SD_ILS:169289 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Kogel, Tim. author.&#160;Leupers, Rainer. author.&#160;Meyr, Heinrich. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4826-2">http://dx.doi.org/10.1007/1-4020-4826-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits ent://SD_ILS/0/SD_ILS:169386 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;CASTRO-L&Oacute;PEZ, R. author.&#160;FERN&Aacute;NDEZ, F.V. author.&#160;GUERRA-VINUESA, O. author.&#160;RODR&Iacute;GUEZ-V&Aacute;ZQUEZ, &Aacute;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5139-5">http://dx.doi.org/10.1007/978-1-4020-5139-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Verification of Programmable Embedded Architectures A Top-Down Approach ent://SD_ILS/0/SD_ILS:165277 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Mishra, Prabhat. author.&#160;Dutt, Nikil D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137514">http://dx.doi.org/10.1007/b137514</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design of Embedded Control Systems ent://SD_ILS/0/SD_ILS:165504 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Adamski, Marian Andrzej. author.&#160;Karatkevich, Andrei. author.&#160;Wegrzyn, Marek. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28327-7">http://dx.doi.org/10.1007/0-387-28327-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Design and Specification Languages for SoCs Selected Contributions from FDL&rsquo;04 ent://SD_ILS/0/SD_ILS:165237 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Boulet, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136935">http://dx.doi.org/10.1007/b136935</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interconnect-Centric Design for Advanced SoC and NoC ent://SD_ILS/0/SD_ILS:170034 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Nurmi, Jari. editor.&#160;Tenhunen, Hannu. editor.&#160;Isoaho, Jouni. editor.&#160;Jantsch, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117241">http://dx.doi.org/10.1007/b117241</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Design and Implementation with Field Programmable Devices ent://SD_ILS/0/SD_ILS:170040 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Navabi, Zainalabedin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117975">http://dx.doi.org/10.1007/b117975</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assertion-Based Design ent://SD_ILS/0/SD_ILS:170042 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Foster, Harry. author.&#160;Krolnik, Adam. author.&#160;Lacey, David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117047">http://dx.doi.org/10.1007/b117047</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Direct Transistor-level Layout for Digital Blocks ent://SD_ILS/0/SD_ILS:170043 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Gopalakrishnan, Prakash. author.&#160;Rutenbar, Rob A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117054">http://dx.doi.org/10.1007/b117054</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling &amp; Simulation ent://SD_ILS/0/SD_ILS:170048 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Patel, Hiren D. author.&#160;Shukla, Sandeep K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117249">http://dx.doi.org/10.1007/b117249</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mixed-Signal Layout Generation Concepts ent://SD_ILS/0/SD_ILS:164624 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Lin, Chieh. author.&#160;Roermund, Arthur H. M. author.&#160;Leenaerts, Domine M. W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106472">http://dx.doi.org/10.1007/b106472</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Taxonomies for the Development and Verification of Digital Systems ent://SD_ILS/0/SD_ILS:165002 2024-11-17T20:50:12Z 2024-11-17T20:50:12Z Author&#160;Bailey, Brian. editor.&#160;Martin, Grant. editor.&#160;Anderson, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104217">http://dx.doi.org/10.1007/b104217</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>