Concepedia
Statistics
Publications
10
Citations
214
H-Index
Active since
1993
Affiliations
University of Utah(Current)
National Institute of Informatics
Virginia State University
David Walter is an author at University of Utah specializing in engineering, formal methods, and computer engineering.
Top concepts
EngineeringFormal MethodsComputer EngineeringComputer ScienceFormal VerificationVerificationSignal ProcessingSystems EngineeringModeling And SimulationCircuit Design
Publications per year
1993–2013
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
Scott Little, Nicholas Seegmiller, David Walter et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 40 citations
Petri Net, Hardware Modeling, Engineering +17
Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods
David Walter, Scott Little, Chris J. Myers et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 35 citations
Engineering, Analog Design, Verification +17
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
Scott Little, Nicholas Seegmiller, David Walter et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 26 citations
ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES
Scott Little, David Walter, Kevin L. Jones et al. · International Journal of Foundations of Computer Science · 2010 · 24 citations
Electrical Engineering, Pll Phase Detector, Switched Capacitor Integrator +13
Scott Little, David Walter, Chris J. Myers et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2011 · 23 citations
Petri Net, Logic Synthesis, Mixed-signal Designs +15
1–5 of 10