Search Results for Tools. - Narrowed by: Processor Architectures. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dTools.$0026qf$003dSUBJECT$002509Subject$002509Processor$002bArchitectures.$002509Processor$002bArchitectures.$0026ps$003d300?dt=list 2026-04-03T13:26:30Z New Data Structures and Algorithms for Logic Synthesis and Verification ent://SD_ILS/0/SD_ILS:480443 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;Amaru, Luca Gaetano. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43174-1">http://dx.doi.org/10.1007/978-3-319-43174-1</a><br/>Format:&#160;Electronic Resources<br/> Handbook of Hardware/Software Codesign ent://SD_ILS/0/SD_ILS:481534 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;Ha, Soonhoi. editor.<br/><a href="http://dx.doi.org/10.1007/978-94-017-7267-9">http://dx.doi.org/10.1007/978-94-017-7267-9</a><br/>Format:&#160;Electronic Resources<br/> Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques ent://SD_ILS/0/SD_ILS:480218 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;Martins, Ricardo. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34060-9">http://dx.doi.org/10.1007/978-3-319-34060-9</a><br/>Format:&#160;Electronic Resources<br/> Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects ent://SD_ILS/0/SD_ILS:480360 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;Louren&ccedil;o, Nuno. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42037-0">http://dx.doi.org/10.1007/978-3-319-42037-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach ent://SD_ILS/0/SD_ILS:480698 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;Zhan, Naijun. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47016-0">http://dx.doi.org/10.1007/978-3-319-47016-0</a><br/>Format:&#160;Electronic Resources<br/> The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era ent://SD_ILS/0/SD_ILS:480176 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;Rahmani, Amir M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31596-6">http://dx.doi.org/10.1007/978-3-319-31596-6</a><br/>Format:&#160;Electronic Resources<br/> Introduction to Logic Circuits &amp; Logic Design with VHDL ent://SD_ILS/0/SD_ILS:480221 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;LaMeres, Brock J. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34195-8">http://dx.doi.org/10.1007/978-3-319-34195-8</a><br/>Format:&#160;Electronic Resources<br/> Digital Systems From Logic Gates to Processors ent://SD_ILS/0/SD_ILS:480304 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;Deschamps, Jean-Pierre. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41198-9">http://dx.doi.org/10.1007/978-3-319-41198-9</a><br/>Format:&#160;Electronic Resources<br/> Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment ent://SD_ILS/0/SD_ILS:480531 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;Sklavos, Nicolas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44318-8">http://dx.doi.org/10.1007/978-3-319-44318-8</a><br/>Format:&#160;Electronic Resources<br/> Computing Platforms for Software-Defined Radio ent://SD_ILS/0/SD_ILS:480869 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;Hussain, Waqar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-49679-5">http://dx.doi.org/10.1007/978-3-319-49679-5</a><br/>Format:&#160;Electronic Resources<br/> Introduction to Logic Circuits &amp; Logic Design with Verilog ent://SD_ILS/0/SD_ILS:481148 2026-04-03T13:26:30Z 2026-04-03T13:26:30Z by&#160;LaMeres, Brock J. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-53883-9">http://dx.doi.org/10.1007/978-3-319-53883-9</a><br/>Format:&#160;Electronic Resources<br/>