Supplement to MOS Memory Data Book, 1984
Author : Texas Instruments Incorporated
Publisher :
Page : 232 pages
File Size : 31,95 MB
Release : 1984
Category : Integrated circuits
ISBN :
Author : Texas Instruments Incorporated
Publisher :
Page : 232 pages
File Size : 31,95 MB
Release : 1984
Category : Integrated circuits
ISBN :
Author : Texas Instruments Incorporated
Publisher :
Page : 472 pages
File Size : 12,91 MB
Release : 1984
Category : Integrated circuits
ISBN :
Author : D. Agnew
Publisher : Elsevier
Page : 624 pages
File Size : 35,79 MB
Release : 2014-05-21
Category : Computers
ISBN : 1483298027
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.
Author :
Publisher :
Page : 656 pages
File Size : 17,88 MB
Release : 1985
Category : Technology & Engineering
ISBN :
Transistors, Triacs, Darlingtons, SCRs. 2N devices. BD, BDW, BDX, BU, BUX, BUY devices. TIC devices. TIP devices. TIPL devices. Appendix.
Author : New York Public Library. Research Libraries
Publisher :
Page : 456 pages
File Size : 14,27 MB
Release : 1978
Category : Classified catalogs (Universal decimal)
ISBN :
Author :
Publisher :
Page : 1858 pages
File Size : 10,59 MB
Release : 1984
Category : Electrical engineering
ISBN :
Author : National Semiconductor Corporation
Publisher :
Page : 1130 pages
File Size : 14,20 MB
Release : 1988
Category : Computer engineering
ISBN :
Author : National Semiconductor Corporation
Publisher :
Page : 344 pages
File Size : 35,28 MB
Release : 1987
Category : Semiconductors
ISBN :
Author :
Publisher :
Page : 1454 pages
File Size : 32,43 MB
Release : 1984
Category : Electronic apparatus and appliances
ISBN :
Author :
Publisher :
Page : 1294 pages
File Size : 36,50 MB
Release : 1998
Category : English imprints
ISBN :