上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: TK7874.75)
該当件数:23件
Symbolic simulation methods for industrial formal verification / Robert B. Jones
Boston : Kluwer Academic Publishers , c2002
図書 <1001388039>
VLSI for wireless communication / Bosco Leung
2nd ed. - New York : Springer , c2011
図書 <1002527154>
Integrated circuit design : power and timing modeling, optimization and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings / Dimitrios Soudris, Peter Pirsch, Erich Barke (eds.)
Berlin ; Tokyo : Springer , c2000. - (Lecture notes in computer science ; 1918)
図書 <1001195275>
Cross-talk noise immune VLSI design using regular layout fabrics / Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Boston : Kluwer Academic , c2001
図書 <1001305216>
Principles of verifiable RTL design : a functional coding style supporting verification processes in Verilog / Lionel Bening and Harry Foster
2nd ed. - Boston : Kluwer Academic Publishers , c2001
図書 <1001305217>
Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2144)
図書 <1001313960>
Analog design for CMOS VLSI systems / by Franco Maloberti
Boston : Kluwer Academic Publishers , c2001
図書 <1001350208>
Analysis and solutions for switching noise coupling in mixed-signal ICs / by Xavier Aragonès, José Luis González and Antonio Rubio
Boston : Kluwer Academic Publishers , c1999
図書 <1001222053>
Introduction to formal hardware verification / Thomas Kropf
Berlin ; New York : Springer , c1999
図書 <1001228298>
Spectral techniques in VLSI CAD / by Mitchell Aaron Thornton, Rolf Drechsler and D. Michael Miller
図書 <1001320144>
A priori wire length estimates for digital design / by Dirk Stroobandt
図書 <1001279441>
Digital VLSI design with Verilog : a textbook from Silicon Valley Technical Institute / John Williams ; foreword by Don Thomas
: hardcover. - [New York?] : Springer , c2008
図書 <1002001887>
Timing optimization through clock skew scheduling / Ivan S. Kourtev, Baris Taskin, Edy G. Friedman
New York : Springer , c2009
図書 <1002064492>
Mixed signal VLSI wireless design : circuits and systems / Emad N. Farag and Mohamed I. Elmasry
Boston ; Dordrecht : Kluwer Academic , c2000
図書 <1001117586>
VLSI technology / editor-in-chief, Wai-Kai Chen
Boca Raton, FL : CRC Press , c2003
図書 <1001440788>
Integrated circuit design / Neil H.E. Weste, David Money Harris
4th ed., Global ed. - Boston ; Tokyo : Pearson , c2011
図書 <1002217650>
Routing congestion in VLSI circuits : estimation and optimization / Prashant Saxena, Rupesh S. Shelar, Sachin S. Sapatnekar
: cased. - New York : Springer , c2007. - (Series on integrated circuits and systems)
図書 <1001836686>
Digital VLSI systems design : a design manual for implementation of projects on FPGAs and ASICs using Verilog / by S. Ramachandran
: hb. - Dordrecht, The Netherlands : Springer , c2007
図書 <1001925562>
Practical problems in VLSI physical design automation / Sung Kyu Lim
: hbk. - [Dordrecht] : Springer , c2008
図書 <1002001889>
Evolutionary algorithms for VLSI CAD / Rolf Drechsler
Boston : Kluwer Academic Publishers , c1998
図書 <1001035805>