Equivalence Checking of Digital Circuits

EISBN:9781402026034
PISBN:9781402077258
出版社:Springer US
出版类型:Monograph
出版时间:2004
作者:Paul Molitor,Janett Mohnke,Bernd Becker,Christoph Scholl
主题词:Circuits and Systems,Electrical Engineering,Computing Methodologies,Computer-Aided Engineering (CAD,CAE) and Design
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Equivalence Checking of Digital Circuits

  • 作者:Paul Molitor,Janett Mohnke
  • EISBN:9781402026034
  • 出版社:Springer US
  • 出版时间:2004

Formal Equivalence Checking and Design Debugging

  • 作者:Shi-Yu Huang,Kwang-Ting (Tim) Cheng
  • EISBN:9781461556930
  • 出版社:Springer US
  • 出版时间:1998

Formal Equivalence Checking and Design Debugging

  • 作者:Shi-Yu Huang,Kwang-Ting (Tim) Cheng
  • EISBN:9781461556930
  • 出版社:Springer US
  • 出版时间:1998

Complex Digital Circuits

  • 作者:Jean-Pierre Deschamps,Elena Valderrama,Lluís Terés
  • EISBN:9783030126537
  • 出版社:Springer International Publishing
  • 出版时间:2019

Trusted Digital Circuits

  • 作者:Hassan Salmani
  • EISBN:9783319790817
  • 出版社:Springer International Publishing
  • 出版时间:2018