|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
b3192288 |
003 |
MWH |
005 |
20191025031807.0 |
007 |
cr nn 008mamaa |
008 |
121227s1994 xxu| s |||| 0|eng d |
020 |
|
|
|a 9781461527947
|
024 |
7 |
|
|a 10.1007/978-1-4615-2794-7
|2 doi
|
035 |
|
|
|a (DE-He213)978-1-4615-2794-7
|
050 |
|
4 |
|a E-Book
|
072 |
|
7 |
|a TJFC
|2 bicssc
|
072 |
|
7 |
|a TEC008010
|2 bisacsh
|
072 |
|
7 |
|a TJFC
|2 thema
|
245 |
1 |
0 |
|a Asynchronous Circuit Design for VLSI Signal Processing
|h [electronic resource] /
|c edited by Teresa H. Meng, Sharad Malik.
|
250 |
|
|
|a 1st ed. 1994.
|
264 |
|
1 |
|a New York, NY :
|b Springer US :
|b Imprint: Springer,
|c 1994.
|
300 |
|
|
|a 184 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Springer eBook Collection
|
505 |
0 |
|
|a Editorial -- Self-Timed Logic Using Current-Sensing Completion Detection (CSCD) -- Performance of Iterative Computation in Self-Timed Rings -- High-Level Optimizations in Compiling Process Descriptions to Asynchronous Circuits -- Designing Self-Timed Systems Using Concurrent Programs -- Synthesis of Hazard-Free Control Circuits from Asynchronous Finite State Machines Specifications -- Specification, Synthesis, and Verification of Hazard-Free Asynchronous Circuits -- A Generalized State Assignment Theory for Transformations on Signal Transition Graphs -- Specification and Analysis of Self-Timed Circuits -- Linear Programming for Hazard Elimination in Asynchronous Circuits -- Verification of Asynchronous Interface Circuits with Bounded Wire Delays.
|
520 |
|
|
|a Asynchronous Circuit Design for VLSI Signal Processing is a collection of research papers on recent advances in the area of specification, design and analysis of asynchronous circuits and systems. This interest in designing digital computing systems without a global clock is prompted by the ever growing difficulty in adopting global synchronization as the only efficient means to system timing. Asynchronous circuits and systems have long held interest for circuit designers and researchers alike because of the inherent challenge involved in designing these circuits, as well as developing design techniques for them. The frontier research in this area can be traced back to Huffman's publications ̀The Synthesis of Sequential Switching Circuits' in 1954 followed by Unger's book, ̀Asynchronous Sequential Switching Circuits' in 1969 where a theoretical foundation for handling logic hazards was established. In the last few years a growing number of researchers have joined force in unveiling the mystery of designing correct asynchronous circuits, and better yet, have produced several alternatives in automatic synthesis and verification of such circuits. This collection of research papers represents a balanced view of current research efforts in the design, synthesis and verification of asynchronous systems.
|
590 |
|
|
|a Loaded electronically.
|
590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
650 |
|
0 |
|a Electronic circuits.
|
650 |
|
0 |
|a Computers.
|
650 |
|
0 |
|a Electrical engineering.
|
650 |
|
0 |
|a Signal processing.
|
650 |
|
0 |
|a Image processing.
|
650 |
|
0 |
|a Speech processing systems.
|
690 |
|
|
|a Electronic resources (E-books)
|
700 |
1 |
|
|a Meng, Teresa H.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Malik, Sharad.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
830 |
|
0 |
|a Springer eBook Collection.
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-1-4615-2794-7
|3 Click to view e-book
|t 0
|
907 |
|
|
|a .b31922880
|b 04-18-22
|c 02-26-20
|
998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g xxu
|h 0
|i 1
|
912 |
|
|
|a ZDB-2-ENG
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Engineering (Springer-11647)
|
902 |
|
|
|a springer purchased ebooks
|
903 |
|
|
|a SEB-COLL
|
945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21054514
|z 02-26-20
|
999 |
f |
f |
|i 81f4109e-6822-5cb3-81d4-b2d7c27b50b7
|s 8c6c6b20-f4be-5c96-86e8-541a2722f177
|t 0
|
952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|