Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
2011
TO
2010
2011
Type
Text
2
Format
application/pdf
2
Collection
Theses & Dissertations
2
Filters:
Department:
"Electrical & Computer Engineering"
Subject:
"Verification"
1
-
25
of
2
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Date
Type
1
Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits
2011-05
Text
2
Symbolic asynchronous hardware protocol verification for compositions with relative timing
2010
Text
1
-
25
of
2
