61. Professional verificatio
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits, Verification,Electronic books., local
رده :
TK7874
.
58
.
W55
,
2004eb
62. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits , Verification,Integrated circuits , Design and construction,Electronic books. , local
رده :
E-BOOK
63. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
E-BOOK
64. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7874
.
58
.
W55
2004
65. Reasoning in Boolean networks
پدیدآورنده : / by Wolfgang Kunz and Dominik Stoffel
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Integrated circuits, Very large scale integration, Testing, Data processing,Integrated circuits, Verification, Data processing,Logic design, Data processing
رده :
TK7874
.
K866
1997
66. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
67. Standardized functional verification
پدیدآورنده : Wiemann, Alan.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Integrated circuits --Verification,، Circuits inte gre s --Ve rification
68. Step-by-step functional verification with SystemVerilog and OVM /
پدیدآورنده : by Iman Sasan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Integrated circuits-- Verification,Verilog (Computer hardware description language)
69. System verilog for verification :a guide to learning the testbench language features
پدیدآورنده : Spear, Chris.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Verilog )Computer hardware description language(,Verification ، Integrated circuits
رده :
TK
7885
.
7
.
S67
70. SystemVerilog For Verification : A Guide To Learning The Testbench Language Features
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Verilog (Computer hardware description language),Integrated circuits - Verification,وریلاگ )زبان توصیفی سخت افزار کامپیوتر(,مدارهای مجتمع - تشخیص,Spear, Chris.
رده :
CD-B
,
TK
,
7885
,.
7
,.
S67
,
2006
71. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B., Ashok B. Mehta
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
رده :
TK7885
.
7
72. SystemVerilog for verification
پدیدآورنده : / Chris Spear
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Verilog (Computer hardware description language),Integrated circuits- Verification
رده :
TK7885
.
7
.
S67
2006
73. SystemVerilog for verification
پدیدآورنده : / Chris Spear
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Verilog (Computer hardware description language),Integrated circuits- Verification
رده :
E-BOOK
74. SystemVerilog for verification
پدیدآورنده : / Chris Spear, Greg Tumbush
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer hardware description languages.,Integrated circuits--Verification,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012
75. SystemVerilog for verification :
پدیدآورنده : Chris Spear, Greg Tumbush.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer hardware description languages.,Integrated circuits-- Verification.,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012eb
76. Systemverilog for verification :
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Verilog (Computer hardware description language),Integrated circuits , Verification
رده :
E-BOOK
77. Taxonomies for the development and verification of digital systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Digital integrated circuits ; Design and construction. ; Integrated circuits ; Verification. ; Digital communications. ;
78. Test pattern generation using Boolean proof engines
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
79. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer hardware description languages,Integrated circuit--Verification,Computer--Circuits--Testing
رده :
E-BOOK
