Logic Synthesis for FSM-Based Control Units

Mã QR

Logic Synthesis for FSM-Based Control Units

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Barkalov, Alexander, Titarenko, Larysa
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Engineering Circuits and Systems Control Logics and Meanings of Programs
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/84563
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Logic Synthesis for FPGA-Based Control Units
Bỡi: Barkalov, Alexander, et al.
Được phát hành: (2020)

Logic Synthesis for Compositional Microprogram Control Units
Bỡi: Barkalov, Alexander, et al.
Được phát hành: (2020)

Logic Synthesis for Finite State Machines Based on Linear Chains of States. 1st ed. 2018
Bỡi: Barkalov, Alexander, et al.
Được phát hành: (2020)

Logic-Based Program Synthesis and Transformation
Bỡi: Fioravanti, Fabio, et al.
Được phát hành: (2020)

Logic Based Program Synthesis and Transformation
Được phát hành: (2020)

Logic-Based Program Synthesis and Transformation
Bỡi: Hermenegildo, Manuel V, et al.
Được phát hành: (2020)

Logic Synthesis and SOC Prototyping
Bỡi: Taraate, Vaibbhav
Được phát hành: (2020)

Control Synthesis of Switched Systems
Bỡi: Zhao, Xudong, et al.
Được phát hành: (2020)

Separation Logic for High-level Synthesis
Bỡi: Winterstein, Felix
Được phát hành: (2020)

New Data Structures and Algorithms for Logic Synthesis and Verification
Bỡi: Amaru, Luca Gaetano
Được phát hành: (2020)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Baral, Chitta, et al.
Được phát hành: (2020)

Model-Based Safety and Assessment
Bỡi: Bozzano, Marco, et al.
Được phát hành: (2020)

Model-Based Testing of Reactive Systems
Được phát hành: (2020)

Logic and Its Applications
Được phát hành: (2020)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Balduccini, Marcello, et al.
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Riguzzi, Fabrizio, et al.
Được phát hành: (2020)

Logic-Based Program Synthesis and Transformation
Được phát hành: (2020)

Rewriting Logic and Its Applications
Bỡi: Rusu, Vlad
Được phát hành: (2020)

Introduction to Logic Circuits & Logic Design with VHDL
Bỡi: LaMeres, Brock J.
Được phát hành: (2020)

Introduction to Logic Circuits & Logic Design with Verilog
Bỡi: LaMeres, Brock J.
Được phát hành: (2020)

High-Level Synthesis
Bỡi: Coussy, Philippe, et al.
Được phát hành: (2020)

Software Engineering for Resilient Systems
Bỡi: Romanovsky, Alexander, et al.
Được phát hành: (2020)

Perspectives of System Informatics
Bỡi: Petrenko, Alexander K., et al.
Được phát hành: (2020)

Trustworthy Hardware Design: Combinational Logic Locking Techniques
Bỡi: Yasin, Muhammad, et al.
Được phát hành: (2020)

Introduction to Logic Circuits & Logic Design with VHDL . 2nd ed.
Bỡi: LaMeres, Brock J.
Được phát hành: (2020)

Introduction to Logic Circuits & Logic Design with Verilog. 2nd ed.
Bỡi: LaMeres, Brock J.
Được phát hành: (2020)

Security of Industrial Control Systems and Cyber-Physical Systems
Bỡi: Cuppens-Boulahia, Nora, et al.
Được phát hành: (2020)

Dynamic Logic. New Trends and Applications
Bỡi: Barbosa, Luís Soares, et al.
Được phát hành: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Recent Trends in Algebraic Development Techniques
Bỡi: Fiadeiro, José Luiz, et al.
Được phát hành: (2020)

Bidirectional Transformations
Bỡi: Gibbons, Jeremy, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2020)

Foundations of Software Science and Computation Structures
Bỡi: Baier, Christel, et al.
Được phát hành: (2020)

Unfoldings
Bỡi: Esparza, Javier, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Beyer, Dirk, et al.
Được phát hành: (2020)

Types for Proofs and Programs
Bỡi: Miculan, Marino, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Beyer, Dirk, et al.
Được phát hành: (2020)

Recent Trends in Algebraic Development Techniques
Được phát hành: (2020)

Scenarios: Models, Transformations and Tools
Được phát hành: (2020)