Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
2011
2012
2013
2014
2015
2016
2017
TO
2010
2011
2012
2013
2014
2015
2016
2017
School Or College
College of Engineering
4
Department
Electrical & Computer Engineering
3
Computing
1
Publication Type
dissertation
3
thesis
1
Subject
Formal verification
4
AMS
1
Algebraic geometry
1
Analog
1
Asynchronous circuits
1
Circuits
1
Compiler verification
1
GPU program
1
Groebner basis
1
Mixed signal
1
Modeling
1
Parallel program
1
Relative timing
1
SMT solving
1
Theorem proving
1
multiplier
1
normal basis
1
unsatisfiability
1
More
Filters:
Format:
"application/pdf"
School Or College:
"College of Engineering"
Collection:
ir_etd
Subject:
"Formal verification"
1
-
25
of
4
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 for automatic generation of relative timing constraints
ir_etd
Text
2
Formal verification of programs and their transformations
ir_etd
Text
3
Improved model generation and property specification for analog/mixed-signal circuits
ir_etd
Text
4
Word-level abstractions for sequential design verification using algebraic geometry
ir_etd
Text
1
-
25
of
4