Author: Texas Instruments Incorporated
Publisher:
ISBN:
Category : Integrated circuits
Languages : en
Pages : 232
Book Description
Supplement to MOS Memory Data Book, 1984
MOS Memory Data Book, 1984
Author: Texas Instruments Incorporated
Publisher:
ISBN:
Category : Integrated circuits
Languages : en
Pages : 472
Book Description
Publisher:
ISBN:
Category : Integrated circuits
Languages : en
Pages : 472
Book Description
Computer Hardware Description Languages and their Applications
Author: D. Agnew
Publisher: Elsevier
ISBN: 1483298027
Category : Computers
Languages : en
Pages : 624
Book Description
Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification.
Publisher: Elsevier
ISBN: 1483298027
Category : Computers
Languages : en
Pages : 624
Book Description
Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification.
Power Products Data Book
Author:
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 656
Book Description
Transistors, Triacs, Darlingtons, SCRs. 2N devices. BD, BDW, BDX, BU, BUX, BUY devices. TIC devices. TIP devices. TIPL devices. Appendix.
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 656
Book Description
Transistors, Triacs, Darlingtons, SCRs. 2N devices. BD, BDW, BDX, BU, BUX, BUY devices. TIC devices. TIP devices. TIPL devices. Appendix.
Bibliographic Guide to Technology
Author: New York Public Library. Research Libraries
Publisher:
ISBN:
Category : Classified catalogs (Universal decimal)
Languages : en
Pages : 456
Book Description
Publisher:
ISBN:
Category : Classified catalogs (Universal decimal)
Languages : en
Pages : 456
Book Description
Microcontroller Databook
Author: National Semiconductor Corporation
Publisher:
ISBN:
Category : Computer engineering
Languages : en
Pages : 1130
Book Description
Publisher:
ISBN:
Category : Computer engineering
Languages : en
Pages : 1130
Book Description
EDN
Author:
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1858
Book Description
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1858
Book Description
Electronic Design
Author:
Publisher:
ISBN:
Category : Electronic apparatus and appliances
Languages : en
Pages : 1454
Book Description
Publisher:
ISBN:
Category : Electronic apparatus and appliances
Languages : en
Pages : 1454
Book Description
The Reliability Handbook
Author: National Semiconductor Corporation
Publisher:
ISBN:
Category : Semiconductors
Languages : en
Pages : 344
Book Description
Publisher:
ISBN:
Category : Semiconductors
Languages : en
Pages : 344
Book Description
International Books in Print
Author:
Publisher:
ISBN:
Category : English imprints
Languages : en
Pages : 1294
Book Description
Publisher:
ISBN:
Category : English imprints
Languages : en
Pages : 1294
Book Description