Resume
Biography
Academic History
Research Information
Advisor: Sanjit A. Seshia
Interests: Automatic Abstraction from RTL, Decision Procedures, Processor Verification, Hardware Design, Embedded Systems
Research tool: Verilog to UCLID translator with (semi-) automatic abstraction: v2ucl
Bryan Brady: Publications
Learning Conditional Abstractions
[BibTeX]
B. A. Brady, R. E. Bryant, S. A. Seshia
In Proceedings of the IEEE International Conference on Formal Methods
in Computer-Aided Design (FMCAD), October 2011. To appear.
Abstraction-Based Performance Analysis of NoCs
[BibTeX]
D. Holcomb, B. A. Brady, S. A. Seshia
In Proceedings of the Design Automation Conference (DAC), June
2011.
Counterexample-Guided SMT-Driven Optimal Buffer Sizing
[BibTeX]
B. A. Brady, D. Holcomb, S. A. Seshia
In Proceedings of the Conference on Design, Automation and Test in
Europe (DATE), 2011.
Low-Power Verification with Term-Level Abstraction
[BibTeX]
B. A. Brady
Award: Best in Session - Verification
In Proceedings of TECHCON, September 2010
ATLAS: Automatic Term-Level Abstraction of RTL Designs
[BibTeX]
B. A. Brady, R. E. Bryant, S. A. Seshia, J. W. O'Leary
In Proceedings of the Eighth ACM/IEEE International Conference on
Formal Methods and Models for Codesign (MEMOCODE), July 2010
An Abstraction-Based Decision Procedure for Bit-Vector Arithmetic
[BibTeX]
R. E. Bryant, D. Kroening, J. Ouaknine, S. A. Seshia, O. Strichman, B. A. Brady
International Journal on Software Tools for Technology Transfer
(STTT), 11(2):95-104, 2009
Abstracting RTL Designs to the Term-Level
[BibTeX]
B. A. Brady, R. E. Bryant, S. A. Seshia
Technical Report EECS-2008-136, EECS Department, University of California, Berkeley (2008)
Deciding Bit-Vector Arithmetic with Abstraction
[BibTeX]
R. E. Bryant, D. Kroening, J. Ouaknine, S. A. Seshia, O. Strichman, B. A. Brady
In 13th Intl. Conference on Tools and Algorithms for the Construction of Systems (TACAS), March 2007
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
[BibTeX]
S. K. Jha, B. A. Brady, S. A. Seshia
In the 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), October 2007, pages 241-256.
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
S. K. Jha, B. A. Brady, S. A. Seshia
Technical Report EECS-2007-32, EECS Department, University of California, Berkeley (2007)
Efficient CAD Development for Emerging Technologies Using Objective-C and Cocoa
[BibTeX]
B. A. Brady, A. K. Jones, and I. S. Kourtev
IEEE International Conference on Electronics, Circuits and Systems, 2004
|
