Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
2011
2012
2013
TO
2010
2011
2012
2013
School Or College
College of Engineering
3
Department
Electrical & Computer Engineering
3
Publication Type
dissertation
2
thesis
1
Subject
Relative timing
3
Asynchronous circuits
2
Algorithms
1
BDD
1
Formal verification
1
Methodology
1
SAT
1
Symbolic model checking
1
Synchronous CAD tools
1
Timed asynchronous protocol
1
Verification
1
More
Filters:
Subject:
"Relative timing"
Collection:
"ir_etd"
1
-
25
of
3
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
Setname
Type
1
Algorithms and methodology to design asynchronous circuits using synchronous CAD tools and flows
ir_etd
Text
2
Algorithms for automatic generation of relative timing constraints
ir_etd
Text
3
Symbolic asynchronous hardware protocol verification for compositions with relative timing
ir_etd
Text
1
-
25
of
3
