Author Info
Name
Affiliation
Papers
DAVID WALTER
University of Utah, Salt Lake City, UT
6
Collaborators
Citations 
PageRank 
9
98
5.38
Referers 
Referees 
References 
173
186
132
Search Limit
100186
Title
Citations
PageRank
Year
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces291.352010
Bounded model checking of analog and mixed-signal circuits using an SMT solver80.642007
Verification of Timed Circuits with Failure Directed Abstractions80.532006
Verification of analog/mixed-signal circuits using labeled hybrid petri nets291.302006
The Case for Analog Circuit Verification120.852006
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets120.712004