R. Brayton
发表
R. Willoughby,
R. Brayton,
F. Gustavson,
1970
.
G. Shepherd,
R. Brayton,
1979,
Brain Research.
J. Cullum,
R. Brayton,
1979
.
Idan Segev,
G. Shepherd,
J. Miller,
1985,
Proceedings of the National Academy of Sciences of the United States of America.
R. Brayton,
G. Hachtel,
1980
.
R. Brayton,
N. Eén,
A. Mishchenko,
2006,
2006 IEEE/ACM International Conference on Computer Aided Design.
R. Brayton,
A. Sangiovanni-Vincentelli,
A. Narayan,
1997,
ICCAD 1997.
R. Brayton,
A. Sangiovanni-Vincentelli,
S. Malik,
1991
.
R. Brayton,
A. Sangiovanni-Vincentelli,
R. Ranjan,
1996
.
R. Brayton,
1967
.
R. Brayton,
A. Mishchenko,
S. Chatterjee,
2005
.
Tiziano Villa,
Robert K. Brayton,
Timothy Kam,
1998
.
David S. Johnson,
M. Garey,
R. Brayton,
1988
.
J. Cullum,
R. Brayton,
1979
.
Robert K. Brayton,
Gary D. Hachtel,
Luis M. Vidigal,
1979
.
R. Brayton,
A. Mishchenko,
M. Hutton,
2007
.
A.L. Sangiovanni-Vincentelli,
R.K. Brayton,
G.D. Hachtel,
1981,
Proceedings of the IEEE.
A. Hoffman,
R. Brayton,
T. Scott,
1977
.
G. Shepherd,
R. Brayton,
1987,
Neuroscience.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Paul R. Stephan,
1996,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
R. Brayton,
A. Mishchenko,
J. H. Jiang,
2007
.
R. Brayton,
D. Dill,
R. Hojati,
1997
.
R. K. Brayton,
R. Brayton,
W. Lam,
1992,
1992 IEEE/ACM International Conference on Computer-Aided Design.
R. Brayton,
1987
.
R. Brayton,
A. Sangiovanni-Vincentelli,
S. Khatri,
2017
.
R. Brayton,
K. Cheng,
D. Pradhan,
2022
.
R. Brayton,
A. Sangiovanni-Vincentelli,
M. Chiodo,
1992,
1992 IEEE/ACM International Conference on Computer-Aided Design.
Tiziano Villa,
Stephen A. Edwards,
Szu-Tsung Cheng,
1996,
CAV.
R. Brayton,
A. Mishchenko,
D. Chai,
2003
.
R. Brayton,
E. Dubrova,
Yunjian Jiang,
2002
.
R. Brayton,
A. Mishchenko,
T. Villa,
2022
.
R. Brayton,
A. Sangiovanni-Vincentelli,
A. Petrenko,
2003
.
R. Brayton,
1966
.
R. Brayton,
A. Sangiovanni-Vincentelli,
L. Carloni,
1997,
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
R. Brayton,
A. Mishchenko,
S. Chatterjee,
2004
.
R. Brayton,
A. Mishchenko,
2006
.
Robert K. Brayton,
Alan Mishchenko,
Aaron P. Hurst,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
R. Brayton,
N. Eén,
A. Mishchenko,
2012
.
R. Brayton,
N. Eén,
A. Mishchenko,
2011
.
R. Brayton,
F. Mo,
2007,
2007 IEEE/ACM International Conference on Computer-Aided Design.
R. Brayton,
K. Chung,
A. Mishchenko,
2009
.
Alan Mishchenko,
Robert Brayton,
R. Brayton,
2007
.
Robert K. Brayton,
Adnan Aziz,
R. Brayton,
1993
.
R. Brayton,
A. Sangiovanni-Vincentelli,
G. Hachtel,
2021
.
R. Brayton,
A. Sangiovanni-Vincentelli,
N. Shenoy,
1990,
27th ACM/IEEE Design Automation Conference.
Robert K. Brayton,
Fan Mo,
R. Brayton,
2003,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
R. Brayton,
A. Kondratyev,
Yinghua Li,
2005
.
R. Brayton,
F. Mo,
2002,
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
Robert K. Brayton,
Fan Mo,
R. Brayton,
2002,
ICCAD 2002.
Robert K. Brayton,
Ralph A. Willoughby,
R. Willoughby,
1967
.
R. Brayton,
A. Saldanha,
Y. Kukimoto,
1997
.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Narendra V. Shenoy,
1993,
ICCAD '93.
R. Brayton,
F. Gustavson,
G. Hachtel,
1972
.
R. Brayton,
A. Hurst,
2007
.
Robert K. Brayton,
Aaron P. Hurst,
R. Brayton,
2006
.
R. Brayton,
A. Sangiovanni-Vincentelli,
N. Shenoy,
1993,
International Conference on Computer Aided Design.
R. Brayton,
A. Sangiovanni-Vincentelli,
A. Mehrotra,
1999,
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
Robert K. Brayton,
Ellen Sentovich,
R. Brayton,
1991,
VLSI.
Robert K. Brayton,
Paul R. Stephan,
Ellen M. Sentovich,
1992
.
Robert K. Brayton,
Hervé J. Touati,
Hamid Savoj,
1991,
1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
R. Brayton,
G. Micheli,
A. Mishchenko,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
F. Somenzi,
V. Singhal,
R. Brayton,
1998,
1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
R. Brayton,
A. Sangiovanni-Vincentelli,
L. Lavagno,
1992
.
Aadithya V. Karthik,
R. Brayton,
J. Roychowdhury,
2014
.
Tiziano Villa,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
2003
.
Robert K. Brayton,
Vigyan Singhal,
Ramin Hojati,
1994
.
R. Brayton,
Chatterjee Alan Mishchenko,
2006
.
R. Brayton,
R. Ranjan,
A. Aziz,
1994
.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Amit Narayan,
1997,
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Michael L. Case,
R. Brayton,
A. Mishchenko,
2008
.
R. Brayton,
T. Kam,
2016
.
Robert K. Brayton,
Huey-Yih Wang,
R. Brayton,
1993,
ICCAD '93.
R. Brayton,
S. Mishchenko,
2010
.
R. Brayton,
A. Hurst,
2007
.
R. Brayton,
A. Sangiovanni-Vincentelli,
A. Kuehlmann,
1999
.
R. Brayton,
S. Khatri,
Yunjian Jiang,
2017
.
R. Brayton,
A. Sangiovanni-Vincentelli,
V. Singhal,
1996
.
R. Brayton,
A. Mishchenko,
2002
.
Robert K. Brayton,
David Berthelot,
Alan Mishchenko,
2010,
Formal Methods in Computer Aided Design.
R. Brayton,
A. Mishchenko,
H. Savoj,
2022
.
Robert K. Brayton,
Adnan Aziz,
Carl Pixley,
1994,
ICCAD '94.
R. Brayton,
A. Mishchenko,
2016
.
R. Brayton,
A. Mishchenko,
M. Soeken,
2017
.
R. Brayton,
S. Edwards,
G. Swamy,
1996
.
R. Brayton,
P. McGeer,
P.C. McGeer,
1990,
27th ACM/IEEE Design Automation Conference.
R. Brayton,
D. Strukov,
A. Mishchenko,
2013
.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Giovanni De Micheli,
1986,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
William K. C. Lam,
R. Brayton,
A. Sangiovanni-Vincentelli,
2016
.
Tiziano Villa,
Robert K. Brayton,
A. Sangiovanni Vincentelli,
2010
.
Robert K. Brayton,
Alan Mishchenko,
Giovanni De Micheli,
2021,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
R. Brayton,
Yunjian Jiang,
2003,
Proceedings of the ASP-DAC Asia and South Pacific Design Automation Conference, 2003..
R. Brayton,
A. Sangiovanni-Vincentelli,
R. Murgai,
1993,
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
R. Brayton,
A. Mishchenko,
Cong Liu,
2004
.
R. Brayton,
S. Matic,
Yunjian Jiang,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
R. Brayton,
A. Narayan,
J. Jain,
2016
.
R. Brayton,
N. Ishiura,
Nagisa Ishiuraand,
2016
.
S. Tasiran,
R. Brayton,
2016
.
R. Brayton,
A. Mishchenko,
S. Chatterjee,
2008,
2008 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton,
Sharad Malik,
Alberto Sangiovanni-Vincentelli,
1988
.
R. Brayton,
A. Sangiovanni-Vincentelli,
M. Fujita,
1999
.
Luciano Lavagno,
Malgorzata Marek-Sadowska,
Rajeev Murgai,
2004
.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Amit Narayan,
1998,
1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
R. Brayton,
S. Chatterjee,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Robert K. Brayton,
Patrick C. McGeer,
R. Brayton,
1989
.
Tiziano Villa,
Robert K. Brayton,
Nina Yevtushenko,
2012
.
Robert K. Brayton,
Fabio Somenzi,
Vigyan Singhal,
1998,
1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
Robert K. Brayton,
Rajeev K. Ranjan,
R. Brayton,
1997
.
Robert K. Brayton,
R. Brayton,
1993,
CAV.
R. Brayton,
A. Sangiovanni-Vincentelli,
S. Malik,
2015
.
Tiziano Villa,
Robert K. Brayton,
Luca P. Carloni,
1997,
International Conference on Computer Aided Design.
R. Brayton,
A. Mishchenko,
J. H. Jiang,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
R. Brayton,
S. Malik,
1992
.
George S. Moschytz,
Jacques Neirynck,
Robert King Brayton,
1978
.
R. Brayton,
Y. Kukimoto,
1998
.
R. Brayton,
R. Ranjan,
B. Plessier,
1995
.
Michael L. Case,
R. Brayton,
S. Seshia,
2008
.
R. Brayton,
A. Mishchenko,
2003,
ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).
J. K. Moser,
R. K. Brayton,
R. Brayton,
1964
.
R. Brayton,
Yunjian Jiang,
R.K. Brayton,
2002,
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
Robert K. Brayton,
Yunjian Jiang,
R. Brayton,
2002,
IWLS.
R. Brayton,
Yunjian Jiang,
R.K. Brayton,
2001,
Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571).
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Mário J. Silva,
1992,
Proceedings EURO-DAC '92: European Design Automation Conference.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Rajeev Murgai,
1991,
1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton,
Gary D. Hachtel,
F. G. Gustavson,
1971
.
Robert K. Brayton,
Adnan Aziz,
Vigyan Singhal,
2000,
TOCL.
Robert K. Brayton,
Adnan Aziz,
Vigyan Singhal,
1996,
CAV.
Robert K. Brayton,
C. Tong,
R. Brayton,
1980
.
Robert K. Brayton,
Adnan Aziz,
Carl Pixley,
2003,
TODE.
Robert K. Brayton,
Carl Pixley,
Adnan Aziz,
1994,
IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton,
Ellen M. Sentovich,
R. Brayton,
1993
.
Robert K. Brayton,
Adnan Aziz,
Carl Pixley,
2001,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton,
Vigyan Singhal,
R. Brayton,
1996
.
Robert K. Brayton,
Ramin Hojati,
R. Brayton,
1995,
Formal Methods Syst. Des..
Szu-Tsung Cheng,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
1994,
31st Design Automation Conference.
Robert K. Brayton,
C. Tong,
R. Brayton,
1979
.
R. Brayton,
Jane Cullum,
J. Cullum,
1976,
1976 IEEE Conference on Decision and Control including the 15th Symposium on Adaptive Processes.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Rajeev K. Ranjan,
1996,
Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Richard L. Rudell,
1987,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton,
R. Brayton,
1980
.
R. Brayton,
A. Sangiovanni-Vincentelli,
R. Murgai,
2006,
STOC '06.
A. Sangiovanni-Vincentelli,
R.K. Brayton,
R. Murgai,
1993,
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton,
R. Brayton,
Yosinori Watanabe,
1994
.
Robert K. Brayton,
Alan Mishchenko,
Satrajit Chatterjee,
2006,
2006 43rd ACM/IEEE Design Automation Conference.
Robert K. Brayton,
Fan Mo,
R. Brayton,
2004,
IWLS.
Robert K. Brayton,
Thomas A. Henzinger,
Rajeev Alur,
2001,
Formal Methods Syst. Des..
Robert K. Brayton,
Thomas A. Henzinger,
Rajeev Alur,
1997,
CAV.
Robert K. Brayton,
Alan Mishchenko,
R. Brayton,
2010,
CAV.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Massimo Baleani,
2002,
Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).
R. Brayton,
S. Qadeer,
T. Henzinger,
2017
.
Robert K. Brayton,
Alberto Sangiovanni-Vincentelli,
Amit Narayan,
1999
.
Szu-Tsung Cheng,
Robert K. Brayton,
R. Brayton,
1998
.
Adrian J. Isles,
R. Brayton,
A. Sangiovanni-Vincentelli,
1997,
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton,
Yuhong Zhao,
Zhongcheng Li,
1997,
Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Masahiro Fujita,
1996,
FMCAD.
Robert K. Brayton,
Ramin Hojati,
Sriram C. Krishnan,
1996,
Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Robert K. Brayton,
Shaz Qadeer,
Vigyan Singhal,
1996,
Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
R. Brayton,
A. Sangiovanni-Vincentelli,
R. Ranjan,
1996,
33rd Design Automation Conference Proceedings, 1996.
R. Brayton,
A. Sangiovanni-Vincentelli,
R. Ranjan,
1996
.
R. Brayton,
F. Balarin,
A. Aziz,
1995,
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton,
Vigyan Singhal,
Gitanjali Swamy,
1995,
Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
R.K. Brayton,
R. Hojati,
R. Mueller-Thuns,
1995,
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
R. Brayton,
K. Yelick,
A. Saldanha,
1995,
Proceedings. 1995 IEEE International Verilog HDL Conference.
Robert K. Brayton,
Gitanjali M. Swamy,
R. Brayton,
1994,
IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton,
Adnan Aziz,
Vigyan Singhal,
1994,
Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Robert K. Brayton,
Serdar Tasiran,
Adnan Aziz,
1994,
31st Design Automation Conference.
R. Brayton,
R. Ranjan,
A. Aziz,
1994
.
Robert K. Brayton,
Adnan Aziz,
R. Brayton,
1994
.
Robert K. Brayton,
Yusuke Matsunaga,
Patrick C. McGeer,
1993,
30th ACM/IEEE Design Automation Conference.
Robert K. Brayton,
Ramin Hojati,
Sriram C. Krishnan,
1993
.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Bill Lin,
1990,
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton,
Alexander Saldanha,
Adnan Aziz,
1995,
CAV.
Robert K. Brayton,
R. Brayton,
J. Moser,
1964
.
Robert K. Brayton,
R. Brayton,
1964,
IBM J. Res. Dev..
Robert K. Brayton,
Sungmin Cho,
Alan Mishchenko,
2007,
2007 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton,
Masahiro Fujita,
Yuji Kukimoto,
1994,
IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Gary D. Hachtel,
1984,
The Kluwer International Series in Engineering and Computer Science.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Kanwar Jit Singh,
1992,
Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Rolf Drechsler,
Mathias Soeken,
Baruch Sterin,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Robert K. Brayton,
Andreas Kuehlmann,
Subarnarekha Sinha,
2001,
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Robert K. Brayton,
Robert B. Mueller-Thuns,
Ramin Hojati,
1994,
CAV.
Robert K. Brayton,
Giovanni De Micheli,
Mathias Soeken,
2016,
SAT.
Robert K. Brayton,
Ralph H. J. M. Otten,
R. Brayton,
2000,
Integr..
Robert K. Brayton,
Alan J. Hoffman,
A. Hoffman,
1974
.
R.K. Brayton,
T.R. Shiple,
V. Singhal,
1996,
1996 IEEE International Symposium on Circuits and Systems. Circuits and Systems Connecting the World. ISCAS 96.
Jie-Hong R. Jiang,
Robert K. Brayton,
R. Brayton,
2004
.
Robert K. Brayton,
Alexander Saldanha,
Alberto L. Sangiovanni-Vincentelli,
1991,
1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton,
Patrick C. McGeer,
R. Brayton,
1991
.
Robert K. Brayton,
Jie-Hong Roland Jiang,
R. Brayton,
2004,
CAV.
Robert K. Brayton,
Luciano Lavagno,
Gianpiero Cabodi,
2000,
Formal Methods Syst. Des..
A. Sangiovanni-Vincentelli,
S. Malik,
E.M. Sentovich,
1990,
Twenty-Third Annual Hawaii International Conference on System Sciences.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Giovanni De Micheli,
1985,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton,
Luciano Lavagno,
Gianpiero Cabodi,
1995
.
Robert K. Brayton,
W Stephen,
R. Brayton,
1975
.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Kanwar Jit Singh,
1988,
[1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.
Robert K. Brayton,
R. Brayton,
1987
.
Robert K. Brayton,
Patrick C. McGeer,
R. Brayton,
1989,
26th ACM/IEEE Design Automation Conference.
Albert R. Wang,
R. Brayton,
A. Sangiovanni-Vincentelli,
1989
.
R. Brayton,
N. Shenoy,
R. Murgai,
2022
.
Joan Feigenbaum,
Toni Emerson,
Robert Brayton,
1996
.
Robert K. Brayton,
R. Brayton,
1968
.
Robert K. Brayton,
Alan J. Hoffman,
Don Coppersmith,
2003
.
Robert K. Brayton,
W. L. Miranker,
R. Brayton,
1964
.
R. K. Brayton,
A. L. Sangiovanni-Vincentelli,
R. Brayton,
1992,
1992 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton,
Alan Mishchenko,
Niklas Eén,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Robert K. Brayton,
Alberto Sangiovanni-Vincentelli,
Gary D. Hachtel,
1990,
Proc. IEEE.
Robert K. Brayton,
Jason Cong,
R. Brayton,
2010,
IEEE Design & Test of Computers.
Robert K. Brayton,
Jason Cong,
R. Brayton,
2010,
IEEE Des. Test Comput..
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Alexander Saldanha,
1992,
[1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Michael L. Case,
R. Brayton,
A. Mishchenko,
2008,
2008 IEEE/ACM International Conference on Computer-Aided Design.
R. Brayton,
A. Mishchenko,
J. H. Jiang,
2011,
TRETS.
Robert K. Brayton,
Eugene Goldberg,
Mukul R. Prasad,
2001,
Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2016,
SAT.
P. R. Stephan,
E. M. Sentovich,
R. Brayton,
1992
.
Robert K. Brayton,
Abdallah Tabbara,
Fan Mo,
2001,
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Rajeev Murgai,
Narendra V. Shenoy,
R. Brayton,
1991,
1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton,
Sunil P. Khatri,
R. Brayton,
1999,
Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
R. Willoughby,
R. Brayton,
F. Gustavson,
1970
.
R. Brayton,
Minsik Cho,
R. Puri,
2016,
EDA for IC Implementation, Circuit Design, and Process Technology.
Robert K. Brayton,
Yinghua Li,
Alex Kondratyev,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Robert K. Brayton,
Ramin Hojati,
Adrian J. Isles,
1998,
CAV.
Robert K. Brayton,
Ramin Hojati,
Desmond Kirkpatrick,
1996,
FMCAD.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Sartaj Sahni,
1991,
1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton,
Giovanni De Micheli,
Mathias Soeken,
2018
.
R. Brayton,
A. Mishchenko,
J. H. Jiang,
2007
.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Massimiliano Chiodo,
1992,
CAV.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Patrick C. McGeer,
1993,
30th ACM/IEEE Design Automation Conference.
Robert K. Brayton,
Patrick C. McGeer,
Alberto Sangiovanni-Vincentelli,
1993
.
Robert K. Brayton,
Ramin Hojati,
R. Brayton,
1995,
CAV.
Szu-Tsung Cheng,
Robert K. Brayton,
R. Brayton,
1996,
Proceedings. IEEE International Verilog HDL Conference.
Robert K. Brayton,
William K. C. Lam,
R. Brayton,
1994,
CAV.
Robert K. Brayton,
William K. C. Lam,
R. Brayton,
1993,
CAV.
Robert K. Brayton,
Serdar Tasiran,
S. Tasiran,
1998
.
Albert R. Wang,
A. Sangiovanni-Vincentelli,
S. Malik,
1988,
[1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.
Robert K. Brayton,
Giovanni De Micheli,
Mathias Soeken,
2017,
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Robert K. Brayton,
Yuji Kukimoto,
Evguenii I. Goldberg,
1997
.
Robert K. Brayton,
Robert P. Kurshan,
Ramin Hojati,
1993,
CAV.
Tiziano Villa,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
1997,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton,
Sriram K. Rajamani,
Gitanjali M. Swamy,
1997,
Proceedings of 1997 IEEE International Symposium on Circuits and Systems. Circuits and Systems in the Information Age ISCAS '97.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Amit Narayan,
1996,
33rd Design Automation Conference Proceedings, 1996.
R. Brayton,
A. Saldanha,
Y. Kukimoto,
1997,
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton,
Patrick C. McGeer,
R. Brayton,
1989,
26th ACM/IEEE Design Automation Conference.
Tiziano Villa,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
2000,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton,
R. Brayton,
1971
.
Robert K. Brayton,
Alberto Sangiovanni-Vincentelli,
Sunil P. Khatri,
2001
.
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2009,
FPGA '09.
Robert K. Brayton,
Yu-Yun Dai,
R. Brayton,
2017,
2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).
Robert K. Brayton,
Alan Mishchenko,
Timothy Kam,
2006,
ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
Robert K. Brayton,
Alan Mishchenko,
Satrajit Chatterjee,
2006,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.