UID:
almahu_9948697616302882
Format:
1 online resource (272 pages)
Content:
Papers from the April 1993 conference. Topics include analysis tools, formal verification, metatestability, performance comparisons of asynchronous adders, power and interfacing, formal methods, and testing. Includes an extended industrial design example of a counterflow pipeline processor. No index. Annotation copyright by Book News, Inc., Portland, OR.
Note:
Bibliographic Level Mode of Issuance: Monograph
,
English
Additional Edition:
ISBN 0-8186-6210-7
Language:
English
Bookmarklink
