Jump to main content

yr 〜
yr

Search results 31

Theorem provers in circuit design : theory, practice and experience : second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf, eds. (Lecture notes in computer science)

Theorem provers in circuit design : theory, practice and experience : second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9584>
National Diet Library
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing -- Congresses. Automatic theo...

VHDL : modular design and synthesis of cores and systems : set : book : CD-ROM 3rd ed

VHDL : modular design and synthesis of cores and systems : set : book : CD-ROM 3rd ed
Paper図書
Zainalabedin NavabiMcGraw-Hillc2007
Other Libraries in Japan
  • Subject Heading...tion language) Digital integrated circuits -- Design and construction -- Data processing
  • Subject Heading (ID)...tion language) Digital integrated circuits -- Design and construction -- Data processing

SPARK : a parallelizing approach to the high-level synthesis of digital circuits

SPARK : a parallelizing approach to the high-level synthesis of digital circuits
Paper図書
Sumit Gupta ... [et al.]Kluwer Academic Publishersc2004
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Digital integrated circuits -...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Digital integrated circuits -...

VHDL : analysis and modeling of digital systems 2nd ed

VHDL : analysis and modeling of digital systems 2nd ed
Paper図書
Zainalabedin NavabiMcGraw-Hillc1998
Other Libraries in Japan
  • Subject Heading...tion language) Digital integrated circuits -- Design and construction -- Data processing
  • Subject Heading (ID)...tion language) Digital integrated circuits -- Design and construction -- Data processing

Digital design lab manual

Digital design lab manual
Paper図書
Jerry D. DanielsWiley1996
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing

Digital design from zero to one

Digital design from zero to one
Paper図書
Jerry D. DanielsWileyc1996
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing

Understanding behavioral synthesis : a practical guide to high-level design

Understanding behavioral synthesis : a practical guide to high-level design
Paper図書
John P. ElliottKluwer Academicc1999
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing System design -- Data process...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing System design -- Data process...

A unified approach for timing verification and delay fault testing

A unified approach for timing verification and delay fault testing
Paper図書
Mukund Sivaraman and Andrzej J. StrojwasKluwer Academicc1998
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Digital integrated circuits -...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Digital integrated circuits -...

Efficient branch and bound search with application to computer-aided design

Efficient branch and bound search with application to computer-aided design
Paper図書
by Xinghao Chen and Michael L. BushnellKluwer Academic Publishersc1996
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Computer-aided design Branch ...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Computer-aided design Branch ...

VHDL : analysis and modeling of digital systems

VHDL : analysis and modeling of digital systems
Paper図書
Zainalabedin NavabiMcGraw-Hillc1993
Other Libraries in Japan
  • Subject Heading...tion language) Digital integrated circuits -- Design and construction -- Data processing
  • Subject Heading (ID)...tion language) Digital integrated circuits -- Design and construction -- Data processing

Formal specification and verification of digital systems

Formal specification and verification of digital systems
Paper図書
George MilneMcGraw-Hillc1994
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Integrated circuits -- Verifi...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Integrated circuits -- Verifi...

VHDL : analysis and modeling of digital systems International ed

VHDL : analysis and modeling of digital systems International ed
Paper図書
Zainalabedin NavabiMcGraw-Hillc1993
Other Libraries in Japan
  • Subject Heading...tion language) Digital integrated circuits -- Design and construction -- Data processing
  • Subject Heading (ID)...tion language) Digital integrated circuits -- Design and construction -- Data processing

Synthesis and optimization of digital circuits : International ed

Synthesis and optimization of digital circuits : International ed
Paper図書
Giovanni De MicheliMcGraw-Hill1994
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Digital electronics -- Data p...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Digital electronics -- Data p...

Synthesis and optimization of digital circuits

Synthesis and optimization of digital circuits
Paper図書
Giovanni De MicheliMcGraw-Hillc1994
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Digital electronics -- Data p...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Digital electronics -- Data p...

Modern VLSI design : systems on silicon 2nd ed., international ed

Modern VLSI design : systems on silicon 2nd ed., international ed
Paper図書
Wayne WolfPrentice Hall PTRc1998
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Logic circuits -- Design and ...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Logic circuits -- Design and ...

Asynchronous digital circuit design : gw : us

Asynchronous digital circuit design : gw : us
Paper図書
G. Birtwistle and A. Davis, edsSpringer-Verlagc1995
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Asynchronous circuits -- Desi...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Asynchronous circuits -- Desi...

Low-power CMOS design

Low-power CMOS design
Paper図書
edited by Anantha Chandrakasan, Robert BrodersenIEEE Pressc1998
Other Libraries in Japan
  • Subject Heading...ata processing Digital integrated circuits -- Design and construction -- Data processing Computer-aided design
  • Subject Heading (ID)...ata processing Digital integrated circuits -- Design and construction -- Data processing Computer-aided design

Analog design issues in digital VLSI circuits and systems

Analog design issues in digital VLSI circuits and systems
Paper図書
edited by Juan J. Becerra, Eby G. FriedmanKluwer Academic Publishersc1997
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Integrated circuits -- Very l...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Integrated circuits -- Very l...

Modern VLSI design : a systems approach Prentice Hall International ed

Modern VLSI design : a systems approach Prentice Hall International ed
Paper図書
Wayne WolfPrentice-Hall Internationalc1994
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Logic circuits -- Design and ...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Logic circuits -- Design and ...

Modern VLSI design : a system approach

Modern VLSI design : a system approach
Paper図書
Wayne WolfPTR Prentice Hall1994
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing Logic circuits -- Design and ...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing Logic circuits -- Design and ...
RSS