L'Harmattan Open Access

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

Absztrakt
A könyv a modern digitális rendszerek tervezésének folyamatával ismerteti meg az Olvasót. A specifikációtól a kész hardverig minden tervezési lépést lefedő áttekintés után az egyes munkafolyamatokat jellemző modellezési megközelítéseket és leíró nyelveket egy-egy külön fejezet mutatja be. A könyv kiemelten foglalkozik az regiszter-transzfer szintű tervezéssel és az ehhez használt modellező nyelvekkel. Ezeket az ún. hardverleíró nyelveket a vonatkozó fejezet az alapvető építőelemek leírásainak bemutatásán keresztül ismerteti meg az Olvasóval. A könyv nagy hangsúlyt fektet az áramkörök időzítési kérdéseire is, beleértve e késleltetések fizikai és kapcsolástechnikai hátterét, valamint azok következményeit a tervezési megfontolásokra vonatkozóan. Fontos szerepet kap a hardverleíró nyelvű modellek automatizált szintézise, amelynek hasznosságát a vonatkozó fejezet a kézi áramkörszintézissel szembeállítva érzékelteti.
Használati statisztika
Hivatkozások

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

Így idézd:

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
Hely, dátum
Budapest, 2025
Lektor
Kulcsszavak
digitális rendszertervezés
RTL-tervezés
HDL-modellezés
funkcionális verifikáció
Publikáció típusa
egyetemi tankönyv
Tudományterület
Villamosmérnöki és informatikai tudományok
Beágyazott rendszerek
Thema
Elektronikus gépészet
Információtechnológia: általános jellegű
Beágyazott rendszerek
BISAC
TEC007000
COM032000
COM092000
Kiadó
L’Harmattan Publishing House
Kiadás
Második, átdolgozott kiadás
Terjedelem
320 oldal
Nyelv
Magyar
Copyright
Horváth Péter
L’Harmattan Publishing House