L'Harmattan Open Access

Digitális rendszerek modellezése és szintézise

Modelling and Synthesis of Digital Systems

Abstract
The book introduces the Reader to the process of designing modern digital systems. After an overview that covers every design step from specification to finished hardware, each workflow is presented in separate chapters focusing on the characteristic modeling approaches and description languages used. The book places special emphasis on register-transfer level design and the modelling languages applied in this context. These so-called hardware description languages are introduced through the presentation of basic building block descriptions in the corresponding chapter. The book also devotes considerable attention to timing issues in circuits, including the physical and circuit theory background of delays and their implications for design considerations. Automated synthesis of hardware description language models also plays an important role, with the relevant chapter illustrating its usefulness by contrasting it with manual circuit synthesis.
Usage metrics
References

Ashended, Peter J.: Digital Design, An Embedded System Approach Using Verilog. 2008, Elsevier

Ashended, Peter J.: Digital Design, An Embedded System Approach Using VHDL. 2008, Elsevier

Scheffer, Louis – Lavagno, Luciano – Martin, Grant (ed.): EDA for IC Implementation, Circuit Design, and Process Technology. 2006, CRC Press, https://doi.org/10.1201/9781420007954.ch8

Kaeslin, Hubert: Digital Integrated Circuit Design, From VLSI Architectures to CMOS Fabrication. 2008, Cambridge University Press, https://doi.org/10.1017/CBO9780511805172

Keating, Michael – Bricaud, Pierre: Reuse Methodology Manual for System-on-a-Chip Designs. 2002, Kluwer Academic Publishers

Schaumont, Patrick R.: A Practical Introduction to Hardware/Software Codesign. 2010, Springer, https://doi.org/10.1007/978-1-4419-6000-9

Rigo, Sandro – Azevedo, Rodolfo – Santos, Luiz (ed.): Electronic System Level Design, An Open-Source Approach. 2011, Springer, https://doi.org/10.1007/978-1-4020-9940-3

Chinnery, David – Keutzer, Kurt: Closing the Gap Between ASIC & Custom. 2002, Kluwer Academic Publishers

Hosszú Gábor – Keresztes Péter: VHDL-alapú rendszertervezés. 2012, SZAK Kiadó Kft.

Kilts, Steve: Advanced FPGA Design, Architecture, Implementation, and Optimization. 2007, John Wiley & Sons., https://doi.org/10.1002/9780470127896

Harris, David Money – Harris, Sarah L.: Digital Design and Computer Architecture (2nd ed.). 2013, Elsevier, https://doi.org/10.1016/B978-0-12-394424-5.00001-X

Davis, Justin – Reese, Robert: Finite State Machine Datapath Design, Optimization, and Implementation. 2008, Morgan & Claypool, https://doi.org/10.1007/978-3-031-79776-7

Smith, Gina R.: FPGAs 101, Everything you need to know to get started. 2010, Elsevier, https://doi.org/10.1016/B978-1-85617-706-1.00001-1

Smith, Douglas J: HDL Chip Design, A practical guide for designing, synthesizing and simulating ASICs and FPGAs using VHDL or Verilog. 1996, Doone Publications

Churiwala, Sanjay – Garg, Sapan: Principles of VLSI RTL Design, A Practical Guide. 2011, Springer, https://doi.org/10.1007/978-1-4419-9296-3

Sutherland, Stuart – Davidmann, Simon – Flake, Peter: SystemVerilog For Design, A Guide to Using SystemVerilog for Hardware Design and Modeling (2nd ed.). 2006, Springer

Ashended, Peter J. – Lewis, Jim: The Designer’s Guide to VHDL (3rd ed.). 2008, Elsevier

Kafig, William: VHDL 101, Everything you need to know to get started. 2011, Elsevier

Navabi, Zainalabedin: VHDL, Modular Design and Synthesis of Cores and Systems (3rd ed.). 2007, McGraw-Hill

Bergeron, Janick: Writing Testbenches, Functional Verification of HDL Models. 2002, Kluwer Academic Publishers, https://doi.org/10.1007/978-1-4615-0302-6

Munden, Richard: ASIC and FPGA Verification, A Guide to Component Modeling. 2005, Elsevier

Spear, Chris: SystemVerilog for Verification, A Guide to Learning the Testbench Language Features (2nd ed.). 2008, Springer

Ashended, Peter J. – Lewis, Jim: VHDL-2008, Just the New Stuff. 2008, Elsevier

Gangadharan, Sridhar – Churiwala, Sanjay: Constaining Designs for Synthesis and Timing Analysis, A Practical Guide to Synopsys Design Constraints (SDC). 2013, Springer, https://doi.org/10.1007/978-1-4614-3269-2

Bhasker, J. – Chadna, Rakesh: Static Timing Analysis for Nanometer Designs, A Practical Approach. 2009, Springer

Parvez, Husain – Mehrez, Habib: Application-Specific Mesh-based Heterogeneous FPGA Architectures. 2011, Springer, https://doi.org/10.1007/978-1-4419-7928-5

Xanthopoulos, Thucydides (ed.): Clocking in Modern VLSI Systems. 2009, Springer, https://doi.org/10.1007/978-1-4419-0261-0

Maxfield, Clive: FPGAs, World Class Designs. 2009, Elsevier

Farooq, Umer – Marrakchi, Zied – Mehrez, Habib: Tree-Based Heterogeneous FPGA Architectures, Application Specific Exploration and Optimization. 2012, Springer, https://doi.org/10.1007/978-1-4614-3594-5

Sherwani, Naveed: Algorithms for VLSI Physical Design Automation (3rd ed.). 1999, Kluwer Academic Publishers

Reis, André Inácio – Drechsler, Rolf (ed.): Advanced Logic Synthesis. 2018, Springer, https://doi.org/10.1007/978-3-319-67295-3

Lim, Sung Kyu: Practical Problems in VLSI Physical Design Automation. 2008, Springer, https://doi.org/10.1007/978-1-4020-6627-6

Khatri, Sunil P. – Gulati, Kanupriya (ed.): Advanced Techniques in Logic Synthesis, Optimizations and Applications. 2011, Springer

Cite as:

Horváth, P. (2025). Digitális rendszerek modellezése és szintézise. Budapest: L’Harmattan Publishing House. https://doi.org/10.56037/978-963-646-446-2

ISBN
978-963-646-446-2
978-963-646-494-3
Místo, datum
Budapest, 2025
Peer reviewer
Keywords
digital system design
RTL design
HDL modelling
functional verification
Type of publication
textbook
Field of science
Electrical engineering, Electronic engineering, Information engineering
Embedded systems
Thema
Electrical engineering
Digital and Information technology: general topics
Embedded systems
BISAC
TEC007000
COM032000
COM092000
Publisher
L’Harmattan Publishing House
Edition
Second revised edition
Extent
320 pages
Language
Maďarština
Copyright
Horváth Péter
L’Harmattan Publishing House