Logic Synthesis for Fpga-Based Mealy Finite State Machines: Structural Decomposition in Logic Design
暫譯: 基於FPGA的Mealy有限狀態機邏輯綜合：邏輯設計中的結構分解

本書專注於基於現場可編程閘陣列（FPGA）的梅利有限狀態機（FSM）的邏輯綜合。提出了三種新的狀態分配方法，這些方法可以獲得所需的FSM電路最小內部晶片資源。

Alexander Barkalov received his M.Sc. degree in Computer Engineering from the Donetsk Politechnical Institute (currently Donetsk National Technical University), Ukraine, in 1976, and his Ph.D. degree in Computer Science from the Leningrad Institute of Precise Mechanics and Optics, Russia, in 1983. In 1995 he received Doctor of Technical Sciences degree in Computer Science from Institute of Cybernetics named after V.M. Glushkov (Kiev, Ukraine). He has been a Professor (since 1996) at the Institute of Computers, Donetsk National Technical University. From 2003 he is a Professor of Computer Engineering at the Institute of Informatics and Electronics, University of Zielona Góra, Poland, and he still is a Professor at the Institute of Computers, Donetsk National Technical University. His current research interests include theory of digital automata, especially the methods of synthesis and optimization of control units implemented with field-programmable logic devices.

Larysa Titarenko (member of HiPEAC) received the M.Sc. (1993), PhD (1996) and Doctor of Technical Sciences (2005) degree in Telecommunications from Kharkov National University of Radioelectronics, Ukraine. Since 2007 she has been a Professor of Telecommunications at the Institute of Informatics and Electronics, University of Zielona Góra, Poland, and she is still a Professor of telecommunications at the Institute of Infocommunication Engineering, Kharkov National University of Radioelectronics, Ukraine. Her current research interests include theory of telecommunication systems, theory of antennas and theory of digital automata and its applications.

Kazimierz Krzywicki obtained PhD in computer science from University of Zielona Gora in 2019. Since 2010, he founded and heads the KGK Pro company, which creates software and hardware solutions. The main areas of activity are embedded systems and Internet of Things - especially animal tracking devices. The company was the first in the world to introduce a bird tracking device equipped with a camera. For over 12 years he has been an expert witness and computer forensics investigator. He is also a member of PTI (Polish Information Processing Society). His research interests include design and implementation of distributed embedded systems and hardware synthesis for reprogrammable devices.

亞歷山大·巴卡洛夫（Alexander Barkalov）於1976年在烏克蘭頓涅茨克理工學院（現為頓涅茨克國立技術大學）獲得計算機工程碩士學位，並於1983年在俄羅斯列寧格勒精密機械與光學學院獲得計算機科學博士學位。1995年，他在烏克蘭基輔的V.M. Glushkov網絡學院獲得計算機科學技術博士學位。自1996年以來，他一直擔任頓涅茨克國立技術大學計算機學院的教授。自2003年起，他成為波蘭齊隆納·古拉大學資訊與電子學院的計算機工程教授，並仍然是頓涅茨克國立技術大學計算機學院的教授。他目前的研究興趣包括數位自動機理論，特別是使用現場可編程邏輯裝置實現的控制單元的合成與優化方法。

拉里薩·提塔連科（Larysa Titarenko，HiPEAC成員）於1993年獲得烏克蘭哈爾科夫國立無線電子大學的電信碩士學位，1996年獲得博士學位，2005年獲得技術科學博士學位。自2007年以來，她一直擔任波蘭齊隆納·古拉大學資訊與電子學院的電信教授，並仍然是烏克蘭哈爾科夫國立無線電子大學資訊與通訊工程學院的電信教授。她目前的研究興趣包括電信系統理論、天線理論以及數位自動機理論及其應用。

卡齊米日·克日維基（Kazimierz Krzywicki）於2019年在齊隆納·古拉大學獲得計算機科學博士學位。自2010年以來，他創立並領導KGK Pro公司，該公司專注於創建軟體和硬體解決方案。主要業務領域為嵌入式系統和物聯網，特別是動物追蹤裝置。該公司是全球首家推出配備攝影機的鳥類追蹤裝置的公司。在過去的12年中，他一直擔任專家證人和計算機取證調查員。他也是波蘭資訊處理學會（PTI）的成員。他的研究興趣包括分散式嵌入式系統的設計與實現，以及可重新編程裝置的硬體合成。