서브메뉴
검색
Principles of verifiable RTL design - [electronic resource] : a functional coding style supporting verification processes in Verilog : Lionel Bening and HarryFoster.
![Principles of verifiable RTL design - [electronic resource] : a functional coding style s...](/Sponge/Images/bookDefaults/NNbookdefaultsmall.png)
Principles of verifiable RTL design - [electronic resource] : a functional coding style supporting verification processes in Verilog : Lionel Bening and HarryFoster.
Detailed Information
- 자료유형
- 비도서
- ISBN
- 0306470160 (electronic bk.)
- 미국회청구기호
- TK7874.75.-B47 2000eb
- DDC
- 621.39/2-21
- 저자명
- Bening, Lionel , 1939-
- 서명/저자
- Principles of verifiable RTL design - [electronic resource] : a functional coding style supporting verification processes in Verilog : Lionel Bening and HarryFoster.
- 발행사항
- Norwell, Mass. : Kluwer Academic Publishers, c2000.
- 형태사항
- xvii, 253 : ill. ; 24 cm.
- 서지주기
- Includes bibliographical references (p. [231]-238) and index.
- 복제주기
- Electronic reproduction. . Boulder, Colo. : NetLibrary, 2002. Available via World Wide Web. Access may be limited to NetLibrary affiliated libraries.
- 일반주제명
- Electronic digital computers Computer-aided design. Integrated circuits Very large scale integration Computer-aided design. Verilog (Computer hardware description language)
- 기타저자
- Foster, Harry , 1956-
- 기타저자
- NetLibrary, Inc.
- 기타형태저록
- . Original. 0792377885. (DLC) 00021223
- 전자적 위치 및 접속
- . Original. 0792377885. (DLC) 00021223
- Control Number
- gtec:44831
MARC
008020716s2000 maua sb 001 0 eng d■003 OCoLC
■020 ▼a0306470160 (electronic bk.)
■040 ▼aN▼T▼cN▼T▼dOCLCQ
■05014▼aTK7874.75.▼bB47 2000eb
■08204▼a621.39/2▼221
■090 ▼a ▼b
■1001 ▼aBening, Lionel▼d1939-
■24510▼aPrinciples of verifiable RTL design▼h[electronic resource] ▼ba functional coding style supporting verification processes in Verilog ▼cLionel Bening and HarryFoster.
■260 ▼aNorwell, Mass. ▼bKluwer Academic Publishers▼cc2000.
■300 ▼axvii, 253 ▼bill. ▼c24 cm.
■504 ▼aIncludes bibliographical references (p. [231]-238) and index.
■533 ▼aElectronic reproduction.▼bBoulder, Colo. ▼cNetLibrary▼d2002.▼nAvailable via World Wide Web.▼nAccess may be limited to NetLibrary affiliated libraries.
■6500 ▼aElectronic digital computers▼xComputer-aided design.▼aIntegrated circuits▼xVery large scale integration▼xComputer-aided design.▼aVerilog (Computer hardware description language)
■6557 ▼aElectronic books.▼2local
■7001 ▼aFoster, Harry▼d1956-
■7102 ▼aNetLibrary, Inc.
■7761 ▼cOriginal▼z0792377885▼w(DLC) 00021223
■8564 ▼3Bibliographic record display▼uhttp://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=69753▼zAn electronic book accessible through the World Wide Web;click for information
