Hierarchical Annotated Action Diagrams : An Interface-Oriented Specification and Verification Method
  • 洋書
  • ポイントキャンペーン

Hierarchical Annotated Action Diagrams : An Interface-Oriented Specification and Verification Method  Paperback,  言語:ENG

Cerny, Eduard/ Berkane, Bachir/ Girodias, Pierre

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer-Verlag New York Inc.(2012/10発売)
  • ポイント 1,090pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification Methodology Manual for SystemVerilog (2006)
  • 洋書
  • ポイントキャンペーン

Verification Methodology Manual for SystemVerilog (2006)  Paperback,  言語:ENG

Bergeron, Janick/ Cerny, Eduard/ Hunter, Alan

  • ウェブストア価格 ¥26,186(本体¥23,806)
  • Springer-Verlag New York Inc.(2014/12発売)
  • ポイント 1,190pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems (Ifip Advances in Information and Communication Technology)
  • 洋書
  • ポイントキャンペーン

Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems (Ifip Advances in Information and Communication Technology)  Paperback,  言語:ENG

Delgado Kloos, Carlos (EDT)/ Cerny, Eduard (EDT)

  • ウェブストア価格 ¥37,098(本体¥33,726)
  • Springer-Verlag New York Inc.(2013/01発売)
  • ポイント 1,685pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
SVA: the Power of Assertions in SystemVerilog (2ND)
  • 洋書
  • ポイントキャンペーン

SVA: the Power of Assertions in SystemVerilog (2ND)  Paperback

Cerny, Eduard/ Dudani, Surrendra/ Havlicek, John

  • ウェブストア価格 ¥28,369(本体¥25,790)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 1,285pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。