Steering Committee

ناشر:
سال
: 2014
شناسه الکترونیک: 10.1109/DAAS.2014.6842445
کلیدواژه(گان): formal specification,n formal verification,n integrated circuit design,n program compilers,n specification languages,n system-on-chip,n CSLC,n SoC design,n chip specification language,n design specification,n high level design tool,n high level simulation model,n infrastructure compiler,n test benches,n verification infrastructure,n verification vectors,n Complexity theory,n Design methodology,n Graphical user interfaces,n Hardware design
کالکشن :
  • نمایش متادیتا
  • آمار بازدید