VHDL for Simulation Synthesis and Formal Proofs of Hardware

出版社:London : [s.n.], 1992.
ISBN:0792392531
出版年:1992
作者:Mermet,Jean
资源类型:图书
细分类型:西文文献
相关推荐

Hardware design and simulation in VAL/VHDL

  • 作者:Augustin,Larry M.,
  • ISBN:0792390873
  • 出版社:Boston : Kluwer Academic Publishers, c1991.
  • 出版年:1991

Hardware Design Verification: Simulation and Formal Methods-Based Approaches

  • 作者:Lam W.K. et al.
  • ISBN:0137010923 924.35
  • 出版社:Prentice-Hall, 2005,
  • 出版年:2005

Hardware Design Verification: Simulation and Formal Methods-Based Approaches

  • 作者:Lam W.K. et al.
  • ISBN:0137010923
  • 出版社:Prentice-Hall, 2005,
  • 出版年:2005

Hardware Design Verification: Simulation And Formal Method-based Approaches

  • 作者:Lam,william K.
  • ISBN:0131433474
  • 出版社:Pearson Education,Inc. Pearson Education,Inc. 2005
  • 出版年:2005

Circuit design and simulation with VHDL

  • 作者:Pedroni,Volnei A.
  • ISBN:9780262014335
  • 出版社:Cambridge, Mass. : MIT Press, c2010.
  • 出版年:2010

Circuit synthesis with VHDL

  • 作者:Airiau,Roland.
  • ISBN:0792394291
  • 出版社:Boston : Kluwer Academic Publishers, 1994.
  • 出版年:1994