Search Results for Tools.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

16 Results Found

0000000000000000DEFAULT

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies

Micheloni, Rino. editor.

http://dx.doi.org/10.1007/978-3-319-51735-3

Format:

Excerpt:

Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies / Micheloni, Rino. editor.

Handbook of Hardware/Software Codesign

Ha, Soonhoi. editor.

http://dx.doi.org/10.1007/978-94-017-7267-9

Format:

Excerpt:

. Contributing expert authors look at key techniques in the design flow as well as selected codesign tools and

New Data Structures and Algorithms for Logic Synthesis and Verification

Amaru, Luca Gaetano. author.

http://dx.doi.org/10.1007/978-3-319-43174-1

Format:

Excerpt:

This book introduces new logic primitives for electronic design automation tools. The author

Separation Logic for High-level Synthesis

Winterstein, Felix. author.

http://dx.doi.org/10.1007/978-3-319-53222-6

Format:

Excerpt:

, novel program analyses and digital hardware design to advance current high-level synthesis tools and

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques

Martins, Ricardo. author.

http://dx.doi.org/10.1007/978-3-319-34060-9

Format:

Excerpt:

variety of automatic layout generation tools, as well as the most recent advances in analog layout

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects

Lourenço, Nuno. author.

http://dx.doi.org/10.1007/978-3-319-42037-0

Format:

Excerpt:

This book introduces readers to a variety of tools for automatic analog integrated circuit (IC

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Zhan, Naijun. author.

http://dx.doi.org/10.1007/978-3-319-47016-0

Format:

Excerpt:

learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of

Computing Platforms for Software-Defined Radio

Hussain, Waqar. editor.

http://dx.doi.org/10.1007/978-3-319-49679-5

Format:

Excerpt:

Cognition and Implementation Tools -- Chapter7. Application of the Scalable Communications Core as an SDR

Fractional-Order Devices

Biswas, Karabi. author.

http://dx.doi.org/10.1007/978-3-319-54460-1

Format:

Excerpt:

provides readers with new tools for designing new types of integrated circuits. The majority of the book

10.

Introduction to Logic Circuits & Logic Design with Verilog

LaMeres, Brock J. author.

http://dx.doi.org/10.1007/978-3-319-53883-9

Format:

Excerpt:

exercise problems provide a rich set of assessment tools to measure student performance on each outcome

11.

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era

Rahmani, Amir M. editor.

http://dx.doi.org/10.1007/978-3-319-31596-6

Format:

Excerpt:

its impacts; Presents state-of-the-art research, as well as tools for mitigating the dark silicon

12.

Introduction to Logic Circuits & Logic Design with VHDL

LaMeres, Brock J. author.

http://dx.doi.org/10.1007/978-3-319-34195-8

Format:

Excerpt:

exercise problems provide a rich set of assessment tools to measure learner performance on each outcome

13.

Digital Systems From Logic Gates to Processors

Deschamps, Jean-Pierre. author.

http://dx.doi.org/10.1007/978-3-319-41198-9

Format:

Excerpt:

developing a new circuit; Demonstrates which design tools are necessary to develop a new circuit; Includes

14.

Information Fusion for Cyber-Security Analytics

Alsmadi, Izzat M. editor.

http://dx.doi.org/10.1007/978-3-319-44257-0

Format:

Excerpt:

Engineering Attacks Using Information Fusion Techniques -- Part 3: Applications and tools. -Information Fusion

15.

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment

Sklavos, Nicolas. editor.

http://dx.doi.org/10.1007/978-3-319-44318-8

Format:

Excerpt:

, commercial tools. Secure protocols are discussed, which protect access to necessary test infrastructures and

16.

Components and Services for IoT Platforms Paving the Way for IoT Standards

Keramidas, Georgios. editor.

http://dx.doi.org/10.1007/978-3-319-42304-3

Format:

Excerpt:

) platforms, services, tools, programming languages, and applications. In particular, the authors focus on IoT

	{displayName}	{count}
{error}