1. Assertion-Based Design
Author: \ Harry Foster, Adam Krolnik, David Lacey
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدارهای مجتمع -- راستیآزمایی,وریلاگ (زبان توصیفی سختافزار کامپیوتر)
Classification :
E-Book
,
2. Assertion-based desig
Author: / Harry Foster, Adam Krolnik, David Lacey
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Integrated circuits--Very large scale integration--Design and construction,Integrated circuits--Verification,Verilog (Computer hardware description language)
Classification :
TK
,
7874
.
75
,
F68
,
2004eb
3. Assertion-based design
Author: / Harry Foster, Adam Krolnik, David Lacey
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
Classification :
E-BOOK
4. Assertion-based design
Author: / Harry Foster, Adam Krolnik, David Lacey
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
Classification :
TK7874
.
75
F68
2004
5. Assertion-based design
Author: / Harry Foster, Adam Krolnik, David Lacey
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language)
Classification :
TK
7874
.
75
.
F68
2004
6. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
Classification :
TK
7874
.
C685
1989
7. Symbolic simulation methods for industrial formal verification
Author: / Robert B. Jones
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Formal methods (computer science)
Classification :
TK
7874
.
75
.
J66
2002
8. Trace-Based Post-Silicon Validation for VLSI Circuits
Author: \ Xiao Liu, Qiang Xu
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Very large scale integration -- Design and construction.,Integrated circuits -- Verification.,مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طراحی و ساخت ,مدارهای مجتمع -- راستیآزمایی
Classification :
E-Book
,
9. Trace-based post-silicon validation for VLSI circuits
Author: / by Xiao Liu, Qiang Xu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits, Very large scale integration, Design and construction,Integrated circuits, Verification,COMPUTERS / Logic Design, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, bisacsh,Integrated circuits, Verification, fast,Integrated circuits, Very large scale integration, Design and construction, fast,Engineering,Computer science,Systems engineering,Circuits and Systems,Processor Architectures,Semiconductors
Classification :
E-BOOK
10. Trace-based post-silicon validation for VLSI circuits
Author: Liu, Xiao, by Xiao Liu, Qiang Xu
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: Very large scale integration Design and construction ، Integrated circuits,Verification ، Integrated circuits
Classification :
TK7874
.
L58
2014
11. VLSI specification, verification, and synthesis
Author: / edited by Graham Birtwistle and P.A. Subrahmanyam
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits - Very large scale integration - Design and construction,Integrated circuits - Verification
Classification :
TK
7874
.
V564
1988
