上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Integrated circuits Verification)
該当件数:13件
Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2102)
図書 <1001298459>
SystemVerilog for verification : a guide to learning the testbench language features / Chris Spear
: hdbd. - New York, N.Y. : Springer , c2006
図書 <1001775306>
Introduction to formal hardware verification / Thomas Kropf
Berlin ; New York : Springer , c1999
図書 <1001228298>
Symbolic simulation methods for industrial formal verification / Robert B. Jones
Boston : Kluwer Academic Publishers , c2002
図書 <1001388039>
Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 683)
図書 <1000656918>
Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking (eds.)
Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 987)
図書 <1000527661>
Formal hardware verification : methods and systems in comparison / Thomas Kropf (ed.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1287)
図書 <1000555073>
Formal methods in computer aided design : second internaitonal conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.)
Berlin ; New York : Springer , c1998. - (Lecture notes in computer science ; 1522)
図書 <1000997516>
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri (eds.)
: alk paper. - Berlin : Springer , c1996. - (Lecture notes in computer science ; 1166)
図書 <1000546188>
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>
Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1703)
図書 <1001084298>
Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt Jr., Steven D. Johnson (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1954)
図書 <1001205122>
Computer aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan, (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 531)
図書 <1000432438>