High-level verification : methods and tools for verification of system-level designs

出版社:New York : Springer Verlag 2011.
ISBN:9781441993588
出版年:2011
作者:Kundu,Sudipta.
资源类型:图书
细分类型:西文文献
相关推荐

System-level modeling of MEMS

  • 作者:Bechtold,T.
  • ISBN:9783527319039
  • 出版社:Weinheim : Wiley-VCH ; Chichester : John Wiley [distributor], c2013.
  • 出版年:2013

High-level subject access tools and techniques in Internet cataloging

  • 作者:Ahronheim,Judith R.
  • ISBN:0789020246
  • 出版社:[Binghamton] New York : Haworth Information Press, c2002.
  • 出版年:2002

High-level languages and their compilers

  • 作者:Watson,Des.
  • ISBN:0201184893
  • 出版社:Wokingham, England ; Reading, Mass. : Addison-Wesley, 1989
  • 出版年:1989

High-level data fusion

  • 作者:Das,Subrata Kumar.
  • ISBN:9781596932814
  • 出版社:Boston : Artech House, c2008.
  • 出版年:2008

High-level VLSI synthesis

  • 作者:Camposano,Raul.
  • ISBN:0792391594
  • 出版社:Boston : Kluwer Academic Publishers, c1991.
  • 出版年:1991

High-level programmer''s guide to the 68000

  • 作者:McCabe,Francis G.,
  • ISBN:0133880346
  • 出版社:New York : Prentice Hall, 1992.
  • 出版年:1992