Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
 
ISBN
978-3-85448-046-4
 
Publisher Herausgeber
TU Wien Academic Press
 
Place of publishing Erscheinungsort
Wien
 
DOI
10.34727/2021/isbn.978-3-85448-046-4
 

Publications Publikationen

Filter:
Author:  Barrett, Clark

Results 1-3 of 3 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tsiskaridze-2021-Automating System Configuration-vor.pdf.jpgTsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark Automating System ConfigurationInproceedings Konferenzbeitrag Oct-2021
2Ozdemir-2021-SAT Solving in the Serverless Cloud-vor.pdf.jpgOzdemir, Alex ; Wu, Haoze ; Barrett, Clark SAT Solving in the Serverless CloudInproceedings Konferenzbeitrag Oct-2021
3Chattopadhyay-2021-Scaling Up Hardware Accelerator Verification using A-Q...-vor.pdf.jpgChattopadhyay, Saranyu ; Lonsing, Florian ; Piccolboni, Luca ; Soni, Deepraj ; Wei, Peng ; Zhang, Xiaofan ; Zhou, Yuan ; Carloni, Luca ; Chen, Deming ; Cong, Jason ; Karri, Ramesh ; Zhang, Zhiru ; Trippel, Caroline ; Barrett, Clark ; Mitra, Subhasish Scaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionInproceedings Konferenzbeitrag Oct-2021