Showing
11 - 15
results of
15
for search '
"Integrated circuits Verification."
'
Skip to content
UPFind
Book Bag:
0
items
(Full)
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Search Results - "Integrated circuits Verification."
Showing
11 - 15
results of
15
for search '
"Integrated circuits Verification."
'
, query time: 0.02s
Refine Results
Sort
Relevance
Newest to Oldest
Oldest to Newest
Author
Title
Select Page
Email
Export
Print
Add to Book Bag
Select result number 11
11
Practical design verification
Published 2009
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 12
12
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by
Yoeli, Michael 1917-
Published 2008
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 13
13
Electronic design automation for integrated circuits handbook
Published 2006
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 14
14
Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings
Published 1995
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 15
15
Digital timing macromodeling for VLSI design verification
by
Kong, Jeong-Taek 1959-
Published 1995
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select Page
Email
Export
Print
Add to Book Bag
[1]
Prev
1
2
Search Tools:
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
15 results
15
DATABASE
Union Catalog (Buklod)
15 results
15
UNIT LIBRARY
College of Engineering Library II
11 results
11
Diliman Main Library: Info. Services & Instruction Section
3 results
3
Institute of Mathematics
1 results
1
YEAR OF PUBLICATION
From:
To:
CLASSIFICATION
T - Technology
5 results
5
Q - Science
1 results
1
SUBJECT
Integrated circuits
14 results
14
Verification
13 results
13
Electronic books
7 results
7
Design and construction
6 results
6
Computer-aided design
3 results
3
Computer software
2 results
2
Data processing
2 results
2
Electronic digital computers
2 results
2
Verilog (Computer hardware description language)
2 results
2
Very large scale integration
2 results
2
Application-specific integrated circuits
1 results
1
Computer algorithms
1 results
1
Computer architecture
1 results
1
Computer arithmetic
1 results
1
Computer arithmetic and logic units
1 results
1
Computer engineering
1 results
1
Computer organization
1 results
1
Computer simulation
1 results
1
Computer systems
1 results
1
Design
1 results
1
Electronic book
1 results
1
Electronic circuits
1 results
1
Electronic systems
1 results
1
Electronics
1 results
1
Embedded computer systems
1 results
1
Integrated circuits--Verification
1 results
1
Integrated circuits--Verification--Data processing
1 results
1
Internet of things
1 results
1
LOTOS (Computer program language)
1 results
1
Microprocessors
1 results
1
see all…
AUTHOR
SpringerLink (Online service)
8 results
8
Mehta, Ashok B.
3 results
3
Advanced Research Working Conference on Correct Hardware Design Methodologies Frankfurt/Main, Germany
1 results
1
Camurati, Paolo
1 results
1
Drechsler, Rolf
1 results
1
Eveking, Hans
1 results
1
Feldmann, Peter
1 results
1
Forte, Domenic
1 results
1
Guin, Ujjwal
1 results
1
Gupta, Rajesh K.
1 results
1
Halak, Basel
1 results
1
Harris, Ian G.
1 results
1
Keating, Michael 1950-
1 results
1
Kol, Rakefet
1 results
1
Kong, Jeong-Taek 1959-
1 results
1
Kundu, Sudipta
1 results
1
Lavagno, Luciano 1959-
1 results
1
Lerner, Sorin
1 results
1
Li, Pen
1 results
1
Martin, Grant (Grant Edmund)
1 results
1
Omondi, Amos R.
1 results
1
Overhauser, David 1961-
1 results
1
Pradhan, Dhiraj K.
1 results
1
Scheffer, Lou
1 results
1
Silveira, Luís Miguel
1 results
1
Tehranipoor, Mohammad H. 1974-
1 results
1
Yoeli, Michael 1917-
1 results
1
see all…
RESOURCE TYPE
Electronic Resource
9 results
9
Book
6 results
6
LANGUAGE
English
15 results
15
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman