Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2015
TO
2015
School Or College
College of Engineering
1
Department
Electrical & Computer Engineering
1
Publication Type
dissertation
1
Subject
Analog/Mixed Signal
1
Octagons
1
Reachability Analysis
1
Zones
1
verification
1
Filters:
Department:
"Electrical & Computer Engineering"
Format:
"application/pdf"
Publication Type:
"dissertation"
Collection:
"ir_etd"
Subject:
"Analog/Mixed Signal"
Type:
"Text"
1
-
25
of
1
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
Author
Title
Subject
Date
Publication Type
1
Fisher, Andrew N.
Efficient, sound formal verification for analog/mixed-signal circuits
Analog/Mixed Signal; Octagons; Reachability Analysis; verification; Zones
2015-08
dissertation
1
-
25
of
1