Sotabase

Career

· Principal Architect, Tools and Test Infrastructure, Juul Labs2023–

Publications (16)

Deciding Bit-Vector Arithmetic with Abstraction
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2007
146
cited
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
International Conference on Formal Modeling and Analysis of Timed Systems · 2007
37
cited
An abstraction-based decision procedure for bit-vector arithmetic
International Journal on Software Tools for Technology Transfer (STTT) · 2009
32
cited
ATLAS: Automatic Term-level abstraction of RTL designs
International Conference on Formal Methods and Models for Co-Design · 2010
17
cited
Learning conditional abstractions
Formal Methods in Computer-Aided Design · 2011
14
cited
Abstraction-based performance verification of NoCs
Design Automation Conference · 2011
7
cited
Abstraction-Based Performance Analysis of NoCs
2011
6
cited
Counterexample-guided SMT-driven optimal buffer sizing
Design, Automation and Test in Europe · 2011
5
cited
The Effects of Arithmetic Encodings on SAT Solver Performance
2006
4
cited
Efficient CAD development for emerging technologies using Objective-C and Cocoa
Proceedings of the 2004 11th IEEE International Conference on Electronics, Circuits and Systems, 2004. ICECS 2004. · 2004
3
cited
Abstracting RTL Designs to the Term Level
2008
2
cited
Pseudo-Boolean Heuristics for 0-1 Integer Linear Programming
2006
2
cited
Automatic Term-Level Abstraction
2011
1
cited
Automatic Term-Level Abstraction - eScholarship
2011
Modules to Abstract RTL Random Simulation Generate Term-Level Model Invoke Verifier Simulation Traces Learn Abstraction Conditions Abstraction Conditions Valid ? Yes Done Counter example Spurious ?
2015
Session details: Simulation-based verification
Proceedings of the International Conference on Computer-Aided Design · 2012
Sotabase
Bryan Brady | Researcher Profile | Sotabase | Sotabase