Logic synthesis and verification algorithms

Κώδικας QR

Logic synthesis and verification algorithms

Includes bibliographical references and index

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Hachtel, Gary D
Άλλοι συγγραφείς:	Somenzi, Fabio
Μορφή:	Βιβλίο
Γλώσσα:	Undetermined
Έκδοση:	New York Springer 2006
Θέματα:	Integrated circuits > Very large scale integration > Design > Data processing; Logic design > Data processing; Mạch tích hợp > Thiết kế > Xử lý dữ liệu; Thiết kế logic > Xử lý dữ liệu
Διαθέσιμο Online:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=35611
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Παρόμοια τεκμήρια

Diagnostic measurements in LSI/VLSI integrated circuits production /
ανά: Jakubowski, Andrzej.
Έκδοση: (1991)

Pspice and Matlab for electronics : an integrated approach /
ανά: Attia, John Okyere.
Έκδοση: (2002)

Hardware and software concepts in VLSI
ανά: Rabbat, Guy
Έκδοση: (1983)

VLSI technology
ανά: Sze
Έκδοση: (1983)

VLSI system design :
ανά: Muroga, Saburo
Έκδοση: (1982)

VLSI digital signal processing systems : design and implementation /
ανά: Parhi, Keshab K., 1957-
Έκδοση: (1999)

Low-Power VLSI Circuits and Systems
ανά: Pal, Ajit
Έκδοση: (2015)

VLSI technology fundamentals and applications
ανά: Tarui, Yasuo
Έκδοση: (1986)

Principles of CMOS VLSI design :
ανά: Weste, Neil H. E.
Έκδοση: (1985)

Fundamentals of digital logic with Verilog design
ανά: Brown, Stephen
Έκδοση: (2014)

CMOS VLSI design
ανά: Weste, Neil H. E
Έκδοση: (2011)

Principles of CMOS VLSI design: A systems perspective
ανά: Neil H. E. Weste
Έκδοση: (1993)

Analog VLSI :
ανά: Ismail, Mohammed
Έκδοση: (1994)

VLSI 81 :
ανά: Gray, John P.
Έκδοση: (1981)

Fundamentals of digital logic with Verilog design
ανά: Brown, Stephen D
Έκδοση: (2014)

Fundamentals of digital logic with VHDL design /
ανά: Brown, Stephen D.
Έκδοση: (2000)

Fundamentals of digital logic with VHDL design
ανά: Brown, Stephen D.
Έκδοση: (2005)

Fundamentals of digital logic with VHDL design
ανά: Brown, Stephen D.
Έκδοση: (2005)

VLSI test principles and architectures :
Έκδοση: (2006)

New Data Structures and Algorithms for Logic Synthesis and Verification
ανά: Amaru, Luca Gaetano
Έκδοση: (2020)

Fundamentals of digital logic with VHDL design
ανά: Brown, Stephen D.
Έκδοση: (2009)

Fundamentals of digital logic with VHDL design /
ανά: Brown, Stephen D.
Έκδοση: (2000)

Microelectronic circuits : analysis and design /
ανά: Rashid, Muhammad H.
Έκδοση: (1999)

Digital design from zero to one /
ανά: Daniels, Jerry, 1948-
Έκδοση: (1996)

Electromigration in ULSI Interconnections /
ανά: Tan, Cher Ming, 1959-
Έκδοση: (2010)

Tính toán thiết kế chống sét-chiếu sáng mạng điện động lực với Benji, luxicon, ecodial :
ανά: Phùng, Thị Nguyệt
Έκδοση: (2007)

CAD trong kỹ thuật điện
ανά: Phùng Thị Nguyệt
Έκδοση: (2007)

Cooperative design, visualization, and engineering :
Έκδοση: (2005)

Ứng dụng Autodesk Revit trong thiết kế kiến trúc
ανά: Nguyễn, Mạnh Tuấn
Έκδοση: (2018)

Thiết kế cơ khí với mastercam :
ανά: Phạm, Quang Hiển
Έκδοση: (2016)

Ứng dụng Autodesk Revit trong thiết kế công trình 3D theo công nghệ BIM
ανά: Nguyễn, Quốc Tới
Έκδοση: (2018)

Fundamentals of logic design
ανά: Roth, Charles H

A guide to programming logic and design :
ανά: Farrell, Joyce
Έκδοση: (1999)

Max+Plus II software and design examples to accompany fundamentals of digital logic with verilog design
ανά: Brown, Stephen D.
Έκδοση: (2003)

Advanced digital logic design
ανά: Lee, Sunggu
Έκδοση: (2005)

Introduction to logic and computer design
ανά: Marcovitz, Alan B.
Έκδοση: (2008)

Introduction to logic and computer design
ανά: Marcovitz, Alan B.
Έκδοση: (2008)

Introduction to logic design
ανά: Marcovitz, Alan B.
Έκδοση: (2002)

Introduction to logic design
ανά: Marcovitz, Alan B.
Έκδοση: (2005)

Fundamentals of logic design
ανά: Roth, Charles H.
Έκδοση: (1992)