Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “mathias soeken”
Skip side bar filters

  • Natural Language Processing for Electronic Design Automation

    Edited by Mathias Soeken, Rolf Drechsler ...
    Series series Physics and Astronomy (R0)
    This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the translation of natural language specifications into formal descriptions. This book brings together leading experts to ... Read more

    $49.49 USD

  • Formal Specification Level

    Concepts, Methods, and Algorithms

    by Mathias Soeken, Rolf Drechsler ...
    Series series Engineering (R0)
    This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted ... Read more

    $89.09 USD

  • Advanced Boolean Techniques

    Selected Papers from the 13th International Workshop on Boolean Problems

    Edited by Rolf Drechsler, Mathias Soeken ...
    Series series Engineering (R0)
    This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems.Provides a single-source reference to ... Read more

    $89.09 USD

  • Reversible Computation

    11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

    Edited by Michael Kirkedal Thomsen, Mathias Soeken ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and ... Read more

    $58.49 USD

People who read these also enjoyed

  • Introduction to Embedded Systems

    Using Microcontrollers and the MSP430

    by Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier ...
    Series series Engineering (R0)
    This textbook serves as an introduction to the subject of embedded systems design, using microcontrollers as core components. It develops concepts from the ground up, covering the development of embedded systems technology, architectural and organizational aspects of controllers and systems, processor models, and peripheral devices. Since microprocessor-based embedded systems tightly blend ... Read more

    $58.49 USD

  • Operational Amplifiers

    Theory and Design

    by Johan Huijsing ...
    Series series Engineering (R0)
    Operational Amplifiers – Theory and Design, Second Edition presents a systematic circuit design of operational amplifiers. Containing state-of-the-art material as well as the essentials, the book is written to appeal to both the circuit designer and the system designer. It is shown that the topology of all operational amplifiers can be divided into nine main overall configurations. These ... Read more

    $107.09 USD

  • SVA: The Power of Assertions in SystemVerilog

    by Surrendra Dudani, Eduard Cerny, John Havlicek, Dmitry Korchemny ...
    Series series Engineering (R0)
    This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). It enables readers to minimize the cost of verification by using assertion-based techniques in simulation testing, coverage collection and formal analysis. The book provides detailed descriptions of all the language features of SVA, accompanied by step-by-step examples of ... Read more

    $107.09 USD

  • Internet of Things

    Building Blocks and Business Models

    by Fatima Hussain ...
    Series series Engineering (R0)
    This book describes the building blocks and introductory business models for Internet of Things (IoT). The author provide an overview of the entire IoT architecture and constituent layers, followed by detail description of each block . Various inter-connecting technologies and sensors are discussed in context of IoT networks. In addition to this, concepts of Big Data and Fog Computing are ... Read more

    $53.99 USD

  • SystemVerilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications

    by Ashok B. Mehta ...
    Series series Engineering (R0)
    This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SystemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification using SystemVerilog Assertions and Functional Coverage, which will enable them to uncover hidden and hard to find bugs, point directly to the source ... Read more

    $143.09 USD

  • Emerging Memory Technologies

    Design, Architecture, and Applications

    Edited by Yuan Xie ...
    This book explores the design implications of emerging, non-volatile memory (NVM) technologies on future computer memory hierarchy architecture designs. Since NVM technologies combine the speed of SRAM, the density of DRAM, and the non-volatility of Flash memory, they are very attractive as the basis for future universal memories. This book provides a holistic perspective on the topic, covering ... Read more

    $89.09 USD

  • Analog Integrated Circuit Design Automation

    Placement, Routing and Parasitic Extraction Techniques

    by Ricardo Martins, Nuno Lourenço, Nuno Horta ...
    Series series Engineering (R0)
    This book introduces readers to a variety of tools for analog layout design automation. After discussing the placement and routing problem in electronic design automation (EDA), the authors overview a variety of automatic layout generation tools, as well as the most recent advances in analog layout-aware circuit sizing. The discussion includes different methods for automatic placement (a template ... Read more

    $89.09 USD

  • Introduction to Hardware Security and Trust

    Edited by Mohammad Tehranipoor, Cliff Wang ...
    Series series Engineering (R0)
    This book provides the foundations for understanding hardware security and trust, which have become major concerns for national security over the past decade. Coverage includes security and trust issues in all types of electronic devices and systems such as ASICs, COTS, FPGAs, microprocessors/DSPs, and embedded systems. This serves as an invaluable reference to the state-of-the-art research that ... Read more

    $107.09 USD